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
Electronic Edition (link) BibTeX
- Rajender Nath, Anil Vohra:
A Software Component Representation Model for Compositional Reuse.
25-36
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Yongjian Li, Rui Xue:
Design of a CIL Connector to Spin.
65-91
Electronic Edition (link) BibTeX
- Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang, Bing Xie:
An Approach to Testing Black-Box Components Using Contract-Based Mutation.
93-117
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Volume 18,
Number 2,
March 2008
- Alan Liu:
Guest Editor's Introduction.
155-156
Electronic Edition (link) BibTeX
- M. Brian Blake, Lisa Singh:
Software Engineering for Web Services Workflow Systems.
157-178
Electronic Edition (link) BibTeX
- Zakaria Maamar, Quan Z. Sheng, Djamal Benslimane, Hamdi Yahyaoui:
Web Services Interactions: Analysis, Modeling, and Management.
179-198
Electronic Edition (link) BibTeX
- Jonathan Lee, Shang-Pin Ma, Ying-Yan Lin, Shin-Jie Lee, Yao-Chiang Wang:
Dynamic Service Composition: a Discovery-Based Approach.
199-222
Electronic Edition (link) BibTeX
- Heung Seok Chae, Joon-Sang Lee, Jung Ho Bae:
An Approach to Checking Behavioral Compatibility between Web Services.
223-241
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Volume 18,
Number 3,
May 2008
- Jiexin Lian, Sol M. Shatz:
A Modeling Methodology for Conflict Control in Multi-Agent Systems.
263-303
Electronic Edition (link) BibTeX
- Maria Francesca Costabile, Daniela Fogli, Andrea Marcante, Piero Mussio, Loredana Parasiliti Provenza, Antonio Piccinno:
Designing Customized and Tailorable Visual Interactive Systems.
305-325
Electronic Edition (link) BibTeX
- Cartik R. Kothari, David J. Russomanno:
Enhancing OWL Ontologies with Relation Semantics.
327-356
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Claus Pahl, Ronan Barrett:
An Ontological Framework for Web Service Processes.
383-411
Electronic Edition (link) BibTeX
- Dianxiang Xu, Weifeng Xu, W. Eric Wong:
Testing Aspect-Oriented Programs with UML Design Models.
413-437
Electronic Edition (link) BibTeX
Volume 18,
Number 4,
June 2008
- Gordon H. Huang, Christine W. Chan, X. Zhang:
Guest Editors' Introduction.
439-441
Electronic Edition (link) BibTeX
- Zhiying Hu, Christine W. Chan, Gordon H. Huang:
Knowledge-Based Reasoning Enhanced Control System for in-situ Bioremediation Processes.
443-459
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- C. Z. Wu, X. P. Yan, G. H. Huang, Y. P. Li:
An Intelligent Agent Mobile emissions Model for Urban Environmental Management.
485-502
Electronic Edition (link) BibTeX
- Shunfu Hu, Jianpeng Zhou:
Developing a GIS-Based Information Management System for on-Site wastewater Treatment Facilities.
503-513
Electronic Edition (link) BibTeX
- Olga Ormandjieva, Manar Abu Talib, Alain Abran:
Reliability Model for Component-Based Systems in COSMIC (a Case Study).
515-539
Electronic Edition (link) BibTeX
- Vitus S. W. Lam:
On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams.
541-567
Electronic Edition (link) BibTeX
Volume 18,
Number 5,
August 2008
- Ngoc Thanh Nguyen, Janusz Sobecki:
Guest Editors' Introduction.
569-571
Electronic Edition (link) BibTeX
- Longbing Cao:
Integrating Agent, Service and Organizational Computing.
573-596
Electronic Edition (link) BibTeX
- Nader Kolsi, Abdelaziz Abdellatif, Khaled Ghédira:
Agent Based Data Storage and Distribution in Data Warehouses.
597-617
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Pora Kim, Sekchin Chang:
Intelligent Positioning and Optimal Diversity Schemes for Mobile Agents in Ubiquitous Networks.
637-650
Electronic Edition (link) BibTeX
- Mario Kusek, Kresimir Jurasovic, Gordan Jezic:
Verification of the Mobile Agent Network Simulator - a Tool for Simulating Multi-Agent Systems.
651-682
Electronic Edition (link) BibTeX
- Mohammad Izadi, Ali Movaghar:
Model Checking of Component Based Software Using Compositional Reductions.
683-712
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Tsung-Hsi Chiang, Lan-Rong Dung:
Verification of Dataflow Scheduling.
737-758
Electronic Edition (link) BibTeX
- Jose Manuel Redondo, Francisco Ortin, Juan Manuel Cueva Lovelle:
Optimizing Reflective Primitives of Dynamic Languages.
759-783
Electronic Edition (link) BibTeX
- Yuchang Mo, Xinmin Yang:
A New Approach to Verify Statechart Specifications for Reactive Systems.
785-802
Electronic Edition (link) BibTeX
- W. Eric Wong, Yu Lei:
Reachability Graph-Based Test Sequence Generation for Concurrent Programs.
803-822
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Adel Smeda, Mourad Chabane Oussalah, Tahar Khammaci:
My Architecture: a Knowledge Representation Meta-Model for Software Architecture.
877-894
Electronic Edition (link) BibTeX
- Ajaree Naco, Vilas Wuwongse, Chutiporn Anutariya:
A Transformation-Based Approach to Application Model Development: Class Diagram Generation.
895-918
Electronic Edition (link) BibTeX
- Arun Sharma, Rajesh Kumar, P. S. Grover:
Empirical Evaluation and Validation of Interface Complexity Metrics for Software Components.
919-931
Electronic Edition (link) BibTeX
- Arnon Sturm, Meirav Taieb-Maimon, Dina Goren-Bar:
A Quantitative-Based Comparison of MaSE and OPM/MAS Design Results.
933-963
Electronic Edition (link) BibTeX
- Fengzhong Zou, Joseph Davis:
Improving Software Reliability Modeling Using Machine Learning Techniques.
965-986
Electronic Edition (link) BibTeX
Volume 18,
Number 8,
December 2008
Copyright © Sun May 17 00:03:14 2009
by Michael Ley (ley@uni-trier.de)
