6. SERA 2008: Prague, Czech Republic

Walter Dosch, Roger Y. Lee, Petr Tuma, Thierry Coupaye (Eds.): Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic. IEEE Computer Society 2008, ISBN 978-0-7695-3302-5 BibTeX

Agents

Fernando Alonso, José L. Fuertes, Loïc Martínez, Héctor Soza:
Measuring the Social Ability of Software Agents. 3-10
Electronic Edition (link) BibTeX
David Bernstein, John McDowall, Krishna Sankar, Stanley Poon:
Message Streaming Network Components Architecture and In-Network Programming Model. 11-18
Electronic Edition (link) BibTeX

Deployment

Bas Boone, Filip De Turck, Bart Dhoedt:
Automated Deployment of Distributed Software Components with Fault Tolerance Guarantees. 21-27
Electronic Edition (link) BibTeX

Embedded and Real Time Systems

Teemu Kanstrén:
A Study on Design for Testability in Component-Based Embedded Software. 31-38
Electronic Edition (link) BibTeX

Fault Detection and Localization

Ramakrishna Rao D:
An Analysis of Missed Structure Field Handling Bugs. 41-48
Electronic Edition (link) BibTeX

Model Driven Engineering

Christoph Knieke, Michaela Huhn, Malte Lochau:
Modeling and Validation of Executable Requirements Using Live Activity Diagrams. 51-58
Electronic Edition (link) BibTeX
Anna Ruokonen, Lasse Pajunen, Tarja Systä:
On Model-Driven Development of Mobile Business Processes. 59-66
Electronic Edition (link) BibTeX

Parallel and Distributed Computing

Akiyoshi Wakatani:
Parallel Implementation of DPCM Decoding for SMP Systems. 69-74
Electronic Edition (link) BibTeX

Process Models and Process Management

Satish Mishra, Bernd-Holger Schlingloff:
Compliance of CMMI Process Area with Specification Based Development. 77-84
Electronic Edition (link) BibTeX
Beatriz Terezinha Borsoi, Jorge Luis Risco Becerra:
The Use of Object Orientation to Define Process Models. 85-92
Electronic Edition (link) BibTeX
Shuailiang Ma, Li Zhang, Jimei He:
Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus. 93-101
Electronic Edition (link) BibTeX

Re Use, Re Factoring, Re Engineering

Venera Arnaoudova, Constantinos Constantinides:
Adaptation of Refactoring Strategies to Multiple Axes of Modularity: Characteristics and Criteria. 105-114
Electronic Edition (link) BibTeX

Requirements Engineering

Débora Maria Barroso Paiva, Marcelo Augusto Santos Turine, Renata Pontin de Mattos Fortes:
A Comparative Review of Processes for Research Development on Applied Computing. 117-124
Electronic Edition (link) BibTeX
Haroon Tarawneh, Asim El Shiekh:
A Theoretical Agile Process Framework for Web Applications Development in Small Software Firms. 125-132
Electronic Edition (link) BibTeX
Shadi Moradi Seresht, Olga Ormandjieva, Samer Sabra:
Automatic Conceptual Analysis of User Requirements with the Requirements Engineering Assistance Diagnostic (READ) Tool. 133-142
Electronic Edition (link) BibTeX
Óscar Dieste Tubío, Marta López, Felicidad Ramos:
Formalizing a Systematic Review Updating Process. 143-150
Electronic Edition (link) BibTeX

Reverse Engineering

Liliana Favre:
Formalizing MDA-Based Reverse Engineering Processes. 153-160
Electronic Edition (link) BibTeX
Alessandro Marchetto:
Talking about a Mutation-Based Reverse Engineering for Web Testing: A Preliminary Experiment. 161-168
Electronic Edition (link) BibTeX

Software Design and Modeling

Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai:
Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. 171-178
Electronic Edition (link) BibTeX
Jérémy Buisson, Fabien Dagnat:
Experiments with Fractal on Modular Reflection. 179-186
Electronic Edition (link) BibTeX
Jing Dong, Yongtao Sun, Yajing Zhao:
Hierarchical Composition of OWL-S Web Services. 187-194
Electronic Edition (link) BibTeX

Software Engineering Education and Training

Sussy Bayona Oré, Jose Antonio Calvo-Manzano, Gonzalo Cuevas Agustín, Tomás San Feliu Gilabert:
Using the TSPi Defined Process and Improving the Project Management Process. 197-204
Electronic Edition (link) BibTeX
Alena Buchalcevova:
Where in the Curriculum Is the Right Place for Teaching Agile Methods? 205-209
Electronic Edition (link) BibTeX

Software Engineering Processes

Shahrouz Moaven, Jafar Habibi, Hamed Ahmadi, Ali Kamandi:
A Decision Support System for Software Architecture-Style Selection. 213-220
Electronic Edition (link) BibTeX
Hamed Yaghoubi Shahir, Shervin Daneshpajouh, Raman Ramsin:
Improvement Strategies for Agile Processes: A SWOT Analysis Approach. 221-228
Electronic Edition (link) BibTeX
Jaroslav Král, Michal Zemlicka:
Inaccessible Area and Effort Consumption Dynamics. 229-234
Electronic Edition (link) BibTeX
Erki Eessaar:
On Pattern-Based Database Design and Implementation. 235-242
Electronic Edition (link) BibTeX

Software Maintenance and Evolution

Mohamad Kassab, Olga Ormandjieva, Maya Daneva:
A Traceability Metamodel for Change Management of Non-functional Requirements. 245-254
Electronic Edition (link) BibTeX
Jaejeong Lee, Jinhan Kim, Byungjeong Lee:
Semantic and Dynamic Web Service of SOA Based Smart Robots Using Web 2.0 OpenAPI. 255-260
Electronic Edition (link) BibTeX

Software Quality and Software Metrics

M. P. Ware, F. George Wilkie, Mary Shapcott, N. G. Lester:
The Use of Product Measures in Tracking Code Development to Completion within Small to Medium Sized Enterprises. 263-270
Electronic Edition (link) BibTeX

Software Services

Nawal Guermouche, Olivier Perrin, Christophe Ringeissen:
A Mediator Based Approach For Services Composition. 273-280
Electronic Edition (link) BibTeX

Software Verification and Model Checking

Tao Huang, Anthony Chung:
Finding Narrow Input/Output (NIO) Sequences by Model Checking. 283-289
Electronic Edition (link) BibTeX
Dave Arnold, Jean-Pierre Corriveau:
Modeling Enhanced Scenarios for Automated Instrumentation. 290-297
Electronic Edition (link) BibTeX

Unified Modeling Language

Irum Rauf, Muhammad Zohaib Z. Iqbal, Zafar I. Malik:
UML Based Modeling of Web Service Composition - A Survey. 301-307
Electronic Edition (link) BibTeX

Web Information Systems

Nuno Polónio, Carlos Regalo, Daniel Gaspar:
Real Time Notifications for Critical Parameters in Operations and Maintenance. 311-318
Electronic Edition (link) BibTeX
Tommi Mikkonen, Antero Taivalsaari:
Web Applications – Spaghetti Code for the 21st Century. 319-328
Electronic Edition (link) BibTeX