Abstract is missing.
- Architectural Models of Ambient-PRISMA in Channel Ambient CalculusNour Ali, Emilio Tuosto. 1-10 [doi]
- An ASSL Approach to Handling Uncertainty in Self-adaptive SystemsEmil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson. 11-18 [doi]
- Language for Use Case SpecificationDusan Savic, Ilija Antovic, Sinisa Vlajic, Vojislav Stanojevic, Milos Milic. 19-26 [doi]
- An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol DevelopmentPrabhu Shankar Kaliappan, Hartmut König. 27-35 [doi]
- Offline Validation of FirewallsStephan Windmüller. 36-41 [doi]
- Availability Assessment of Embedded Systems with Security VulnerabilitiesAndrew J. Kornecki, Janusz Zalewski, Wendy F. Stevenson. 42-47 [doi]
- Metrics and Antipatterns for Software Quality EvaluationFrancesca Arcelli Fontana, Stefano Maggioni. 48-56 [doi]
- Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented PerspectiveMarkus Doedt, Bernhard Steffen. 57-66 [doi]
- Special Session on "Simplification through Change of Perspective"Tiziana Margaria, Bernhard Steffen. 67-68 [doi]
- A Change of Perspective Yields Formal AnalysisRadu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci. 69-76 [doi]
- Constraint-oriented Variability ModelingIna Schaefer, Anna-Lena Lamprecht, Tiziana Margaria. 77-83 [doi]
- Simplified Validation of Emergent Systems through Automata Learning-Based TestingBernhard Steffen, Johannes Neubauer. 84-91 [doi]
- Implementing Software Effort Estimation in a Medium-sized CompanyJoão Carlos Cunha, Sérgio Cruz, Marco Costa, Ana Rita Rodrigues, Marco Vieira. 92-96 [doi]
- Software Maintenance through Supervisory ControlBenoit Gaudin, Alessandra Bagnato. 97-105 [doi]
- Energy Efficiency with Runtime Models for Energy-aware Embedded SystemsZdravko Karakehayov, Emil Vassev. 106-111 [doi]
- Integrating GQM and Data Warehousing for the Definition of Software Reuse MetricsMarco Vieira, Henrique Madeira, Sérgio Cruz, Marco Costa, João Carlos Cunha. 112-116 [doi]
- Towards a Framework for Weapon Control SystemsKevin P. Adams, Denis Gracanin. 117-121 [doi]
- Variability and Rigour in Service Computing EngineeringMaurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro. 122-127 [doi]
- Applying the Test Template Framework to Aerospace SoftwareMaximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti. 128-137 [doi]
- Toward Intelligent Software Defect Detection - Learning Software Defects by ExampleMarkland J. Benson. 138-142 [doi]
- Using Modeling and Simulation to Define Information Requirements for Incident Response for Chemical FacilitiesStephen C. Fortier, Gregory L. Shaw. 143-150 [doi]