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- 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
- 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é J. 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
- 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 Tulio 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
- 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
- Dianxiang Xu, Weifeng Xu, W. Eric Wong: Testing Aspect-Oriented Programs with UML Design Models. 413-437
Volume 18, Number 4, June 2008
- 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
- C. Z. Wu, X. P. Yan, Guo H. Huang, Y. P. 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 Abu Talib, 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
- 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
- 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, P. 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 Davis: Improving Software Reliability Modeling Using Machine Learning Techniques. 965-986
Volume 18, Number 8, December 2008
- Yuting Chen, Shaoying Liu, W. Eric Wong: A Review Approach to Detecting Violations of Consistency between Specification and Program Structures. 1013-1042
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team