default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIJSEKE, 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
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.
last updated on 2025-11-11 02:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
