Abstract is missing.
- Use Case Maps as an Aid in the Construction of a Formal SpecificationCyrille Dongmo, John A. van der Poll. 3-13
- Test Cases Generation for Nondeterministic Duration SystemsLotfi Majdoub, Riadh Robbana. 14-23
- A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic StructureOana Otilia Prisecaru. 24-33
- Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design DiagramsLawrence Cabac, Kolja Markwardt. 34-43
- A Process-Oriented Tool-Platform for Distributed DevelopmentKolja Markwardt, Lawrence Cabac, Christine Reese. 44-52
- Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents ResponseMihnea Scafes, Costin Badica. 53-63
- From Reactive to Deliberative Multi-agent PlanningAmmar Mohammed, Ulrich Furbach. 67-75
- Methods for Service Identification: A Criteria-based Literature ReviewRené Börner, Matthias Goeken. 76-84
- Layered Queuing Networks for Simulating Enterprise Resource Planning SystemsStephan Gradl, André Bögelsack, Holger Wittges, Helmut Krcmar. 85-92
- The Role of Testing in Agile and Conventional MethodologiesAgustÃn Yagüe, Juan Garbajosa. 93-100
- Multi Project Organization Optimization using Genetic AlgorithmSven Tackenberg, Sebastian Schneider. 101-115
- An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKERLeila Jemni Ben Ayed, Mohamed Nidhal Jelassi. 119-124
- Using SCADE for Decision Support in Dam ManagementMarÃa-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares. 125-131
- Database Integrity in Integrated SystemsJosé Francisco Zelasco, Judith Donayo. 132-140
- Making Use Case Slices Manage Variability in Aspect-based Product LineSatish Mahadevan Srinivasan, Mansour Zand. 141-148
- Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow ApplicationsAhlem Ben Younes, Leila Jemni Ben Ayed. 149-155
- ImageNetDiff: Finding Differences in ModelsLawrence Cabac, Kolja Markwardt, Jan Schlüter. 156-161
- Information Systems Configuration Analysis using Event-driven Computer SimulationTomasz Walkowiak, Katarzyna Michalska. 162-167