![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
IJSEKE, Volume 18
Volume 18, Number 1, February 2008
- Jingzhou Li, Günther Ruhe:
Software Effort Estimation by Analogy Using Attribute Selection Based on Rough Set Analysis. 1-23 - Rajender Nath, Anil Vohra:
A Software Component Representation Model for Compositional Reuse. 25-36 - Carlo Gabriel Porto Bellini
, Rita de Cássia de Faria Pereira
, João Luiz Becker
:
Measurement in Software Engineering: from the Roadmap to the Crossroads. 37-64 - Yongjian Li, Rui Xue:
Design of a CIL Connector to Spin. 65-91 - Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang, Bing Xie:
An Approach to Testing Black-Box Components Using Contract-Based Mutation. 93-117 - Ana Belén Barragáns-Martínez
, José Juan Pazos-Arias, Ana Fernández Vilas
, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo
, Yolanda Blanco-Fernández:
Composing Multi-Perspective Software Requirements Specifications. 119-153
Volume 18, Number 2, March 2008
- Alan Liu
:
Guest Editor's Introduction. 155-156 - M. Brian Blake
, Lisa Singh:
Software Engineering for Web Services Workflow Systems. 157-178 - Zakaria Maamar, Quan Z. Sheng
, Djamal Benslimane, Hamdi Yahyaoui
:
Web Services Interactions: Analysis, Modeling, and Management. 179-198 - Jonathan Lee, Shang-Pin Ma
, Ying-Yan Lin, Shin-Jie Lee, Yao-Chiang Wang:
Dynamic Service Composition: a Discovery-Based Approach. 199-222 - Heung Seok Chae, Joon-Sang Lee, Jung Ho Bae:
An Approach to Checking Behavioral Compatibility between Web Services. 223-241 - Nabor C. Mendonça
, Clayton F. Silva, Ian G. Maia, Maria Andréia F. Rodrigues
, Marco Túlio de Oliveira Valente
:
A Loosely Coupled Aspect Language for SOA Applications. 243-262
Volume 18, Number 3, May 2008
- Jiexin Lian, Sol M. Shatz:
A Modeling Methodology for Conflict Control in Multi-Agent Systems. 263-303 - Maria Francesca Costabile, Daniela Fogli, Andrea Marcante, Piero Mussio, Loredana Parasiliti Provenza, Antonio Piccinno
:
Designing Customized and Tailorable Visual Interactive Systems. 305-325 - Cartik R. Kothari, David J. Russomanno:
Enhancing OWL Ontologies with Relation Semantics. 327-356 - Kai-Yuan Cai, Tsong Yueh Chen
, Yong-Chao Li, Yuen-Tak Yu, Lei Zhao:
On the Online Parameter Estimation Problem in Adaptive Software Testing. 357-381 - Claus Pahl
, Ronan Barrett:
An Ontological Framework for Web Service Processes. 383-411 - Dianxiang Xu, Weifeng Xu, W. Eric Wong:
Testing Aspect-Oriented Programs with UML Design Models. 413-437
Volume 18, Number 4, June 2008
- Gordon H. Huang
, Christine W. Chan, Xiaodong Zhang
:
Guest Editors' Introduction. 439-441 - Zhiying Hu, Christine W. Chan, Gordon H. Huang
:
Knowledge-Based Reasoning Enhanced Control System for in-situ Bioremediation Processes. 443-459 - Zhifeng Yang, Yong Zeng, Yanpeng Cai, Qian Tan:
An Integrated Game-Theory Based Model for Trans-Boundary water Resources Management in North China: a Case Study in the Guanting Reservoir Basin (GRB), Beijing. 461-483 - Chaozhong Wu, Xinping Yan, Guo H. Huang
, Yongping Li
:
An Intelligent Agent Mobile emissions Model for Urban Environmental Management. 485-502 - Shunfu Hu, Jianpeng Zhou:
Developing a GIS-Based Information Management System for on-Site wastewater Treatment Facilities. 503-513 - Olga Ormandjieva, Manar AbuTalib, Alain Abran
:
Reliability Model for Component-Based Systems in COSMIC (a Case Study). 515-539 - Vitus S. W. Lam:
On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams. 541-567
Volume 18, Number 5, August 2008
- Ngoc Thanh Nguyen, Janusz Sobecki
:
Guest Editors' Introduction. 569-571 - Longbing Cao
:
Integrating Agent, Service and Organizational Computing. 573-596 - Nader Kolsi, Abdelaziz Abdellatif, Khaled Ghédira:
Agent Based Data Storage and Distribution in Data Warehouses. 597-617 - Ionel Muscalagiu, José M. Vidal, Vladimir Cretu, Horia Emil Popa, Manuela Panoiu
:
Experimental Analysis of the Effects of Agent Synchronization in Asynchronous Search Algorithms. 619-636 - Pora Kim, Sekchin Chang:
Intelligent Positioning and Optimal Diversity Schemes for Mobile Agents in Ubiquitous Networks. 637-650 - Mario Kusek, Kresimir Jurasovic, Gordan Jezic:
Verification of the Mobile Agent Network Simulator - a Tool for Simulating Multi-Agent Systems. 651-682 - Mohammad Izadi, Ali Movaghar:
Model Checking of Component Based Software Using Compositional Reductions. 683-712
Volume 18, Number 6, September 2008
- Jocelyn Simmonds
, M. Cecilia Bastarrica, Nancy Hitschfeld-Kahler
, Sebastián Rivas:
A Tool Based on DL for UML Model Consistency Checking. 713-735 - Tsung-Hsi Chiang, Lan-Rong Dung:
Verification of Dataflow Scheduling. 737-758 - Jose Manuel Redondo
, Francisco Ortin
, Juan Manuel Cueva Lovelle:
Optimizing Reflective Primitives of Dynamic Languages. 759-783 - Yuchang Mo, Xinmin Yang:
A New Approach to Verify Statechart Specifications for Reactive Systems. 785-802 - W. Eric Wong, Yu Lei:
Reachability Graph-Based Test Sequence Generation for Concurrent Programs. 803-822 - Giuseppe Della Penna
, Anna Rita Laurenzi, Sergio Orefice
, Benedetto Intrigila:
An XML Based Methodology to Model and Use Scenarios in the Software Development Process. 823-852
Volume 18, Number 7, November 2008
- Noura Boudiaf, Farid Mokhati, Mourad Badri:
Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. 853-875 - Adel Smeda, Mourad Chabane Oussalah, Tahar Khammaci:
My Architecture: a Knowledge Representation Meta-Model for Software Architecture. 877-894 - Ajaree Naco, Vilas Wuwongse, Chutiporn Anutariya
:
A Transformation-Based Approach to Application Model Development: Class Diagram Generation. 895-918 - Arun Sharma
, Rajesh Kumar Bhatia, Pritam S. Grover
:
Empirical Evaluation and Validation of Interface Complexity Metrics for Software Components. 919-931 - Arnon Sturm
, Meirav Taieb-Maimon, Dina Goren-Bar:
A Quantitative-Based Comparison of MaSE and OPM/MAS Design Results. 933-963 - Fengzhong Zou, Joseph G. Davis:
Improving Software Reliability Modeling Using Machine Learning Techniques. 965-986
Volume 18, Number 8, December 2008
- Franck Barbier, Xabier Aretxandieta:
State-Based Composition in UML 2. 987-1011 - Yuting Chen, Shaoying Liu, W. Eric Wong:
A Review Approach to Detecting Violations of Consistency between Specification and Program Structures. 1013-1042 - Liguo Yu, Stephen R. Schach:
Applying Association Mining to Change Propagation. 1043-1061 - Parvinder Singh Sandhu, Hardeep Singh:
Software Reusability Model for Procedure Based Domain-Specific Software Components. 1063-1081 - Yi-Hsing Chang, Ching-Lung Yang:
A High-Efficiency Knowledge Management System Based on Habitual Domains and Intelligent Agents. 1083-1114 - Arnon Sturm
, Dov Dori
, Onn Shehory
:
The Application-Based Domain Analysis Approach and its Object-Process Methodology Implementation. 1115-1142
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.