Abstract is missing.
- Precise Guidance to Dynamic Test GenerationTheAnh Do, Alvis Cheuk M. Fong, Russel Pears. 5-12
- Roles as Modular Units of CompositionFernando Sérgio Barbosa, Ademar Aguiar. 13-22
- Interoperability Constraints in Service Selection AlgorithmsPawel Lech Kaczmarek. 23-32
- Improving Event Correlation for Non-process Aware Information SystemsRicardo Pérez-Castillo, Barbara Weber, Ignacio García Rodríguez de Guzmán, Mario Piattini. 33-42
- A Survey of Infeasible Path DetectionSun Ding, Hee Beng Kuan Tan, Kaiping Liu. 43-52
- A Logic-based Passive Testing Approach for the Validation of Communicating ProtocolsXiaoping Che, Felipe Lalanne, Stephane Maag. 53-64
- A Meta-model for Representing Language-independent Primary Dependency StructuresIoana Sora. 65-74
- Social Adaptation - When Software Gives Users a VoiceRaian Ali, Carlos Solís, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh. 75-84
- Agent Oriented Software Engineering for Multimedia Systems' Development - An Experimental Case StudyAlma María Gómez-Rodríguez, Juan Carlos González Moreno, David Ramos-Varcárcel, Francisco Javier Rodríguez-Martínez. 85-94
- Handling Inconsistency in Software RequirementsRicha Sharma, K. K. Biswas. 95-104
- Proposal to Improve the Requirements Process through Formal Verification using Deductive ApproachRadoslaw Klimek. 105-114
- How can you be Agile in "Rough Terrain" and under "Tight Boundary Conditions" - Industrial Experience ReportPeter Faßbinder. 117-121
- An Event-driven Approach for the Separation of ConcernsHayim Makabee. 122-127
- A Domain Ontology for Software Process Architecture DescriptionFadila Aoussat, Mourad Oussalah, Mohamed Ahmed-Nacer. 128-133
- Agile Development of Critical Software - Can It be Justified?Janusz Górski, Katarzyna Lukasiewicz. 134-139
- Refactoring Business Process Models - A Systematic ReviewMaría Fernández-Ropero, Ricardo Pérez-Castillo, Mario Piattini. 140-145
- The Recursion Scheme of the Trace Function MethodBaltasar Trancón-y-Widemann. 146-155
- Ranking Web Services using Centralities and Social IndicatorsTilo Zemke, José Ignacio Fernández-Villamor, Carlos Angel Iglesias. 156-160
- Agile Development with Stepwise Feature IntroductionMikolaj Olszewski, Ralph-Johan Back. 161-166
- A Generic Approach for the Identification of VariabilityAnilloy Frank, Eugen Brenner. 167-172
- Findability through Traceability - A Realistic Application of Candidate Trace Links?Markus Borg. 173-181
- Reduction of Program-generation Times by Transformation-sequence OptimizationMartin Kuhlemann, Andreas Lübcke, Gunter Saake. 182-186
- Towards Online Data Mining System for EnterprisesJan Kupcík, Tomas Hruska. 187-192
- Business Processes Modeling through Multi Level Activity DiagramsDenis Del Villano, Gaetanino Paolone, Paolino Di Felice. 195-198
- SOAQE - Service Oriented Architecture Quality EvaluationRiad Belkhatir, Mourad Oussalah, Arnaud Viguier. 199-202
- Are Use Case Modeling Features Underutilized? - A Lightweight Survey that Raises ConcernsMohamed El-Attar, Khaldoun Halawani, Moustafa Alsaleh, Mahmood Niazi. 203-206
- Towards Experimental Assessment of Security Threats in Protecting the Critical InfrastructureJanusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki. 207-212
- Semantics of Logical Relations in Topological Functioning ModelUldis Donins. 217-223
- Using Use Cases for Domain ModelingJanis Osis, Armands Slihte, Asnate Jansone. 224-231
- System Thinking for Formal Analysis of Domain Functioning in the Computation Independent ModelErika Asnina, Janis Osis, Asnate Jansone. 232-240
- Topological Functioning Model and Services Identification - An Approach for Services Identification from a Topological Functioning ModelGundars Alksnis, Erika Asnina, Uldis Sukovskis. 241-248
- Formal Analysis of Objects State Changes and TransitionsUldis Donins, Janis Osis, Erika Asnina, Asnate Jansone. 249-256