| Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case) / Egidio Astesiano ; Maura Cerioli ; Gianna Reggio |
| Tight Structuring for Precise UML-Based Requirement Specifications |
| Integrating Performance Modeling in the Software Development Process / Simonetta Balsamo ; Marta Simeoni |
| The Inevitable Pain of Software Development: Why There Is No Silver Bullet / Daniel M. Berry |
| Toward Component-Oriented Formal Software Development: An Algebraic Approach / Michel Bidoit ; Donald Sannella ; Andrzej Tarlecki |
| Higher Order Applicative XML Documents / Peter T. Breuer ; Carlos Delgado Kloos ; Vicente Luque Centeno ; Luis Fernández Sánchez |
| A New Paradigm for Requirements Specification and Analysis of System-of-Systems / Dale S. Caffall ; James B. Michael |
| Towards Ontology Driven Software Design / Paolo Ciancarini ; Valentina Presutti |
| A Model Based Development Approach for Distributed Embedded Systems / Frédéric Gilliers ; Fabrice Kordon ; Dan Regep |
| Pervasive Challenges for Software Components / Thomas Gschwind ; Mehdi Jazayeri ; Johann Oberleitner |
| Model Generation for Legacy Systems / Hardi Hungar ; Tiziana Margaria ; Bernhard Steffen |
| Automatic Failures-Free Connector Synthesis: An Example / Paola Inverardi ; Massimo Tivoli |
| Module Dependences in Software Design / Daniel Jackson |
| Towards Fully Automatic Execution Monitoring / Clinton Jeffery ; Mikhail Auguston ; Scott Underwood |
| Automation of Software System Development Using Natural Language Processing and Two-Level Grammar / Beum-Seuk Lee ; Barrett R. Bryant |
| A General Resource Framework for Real-Time Systems / Insup Lee ; Anna Philippou ; Oleg Sokolsky |
| Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems / Bruce Lewis |
| A Computational Model for Complex Systems of Embedded Systems / Luqi ; Ying Qiao ; Lin Zhang |
| Software Evolution as the Key to Productivity / Oscar Nierstrasz |
| Model-Checking Complex Software - A Memory Perspective / Murali Rangarajan ; Darren Cofer |
| Agile Modeling with the UML / Bernhard Rumpe |
| Predictable Component Architectures Using Dependent Finite State Machines / Heinz W. Schmidt ; Bernd J. Krämer ; Iman Poernomo ; Ralf Reussner |
| From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering / Axel van Lamsweerde ; Emmanuel Letier |
| View Consistency in Software Development / Martin Wirsing ; Alexander Knapp |
| Author Index |
| Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case) / Egidio Astesiano ; Maura Cerioli ; Gianna Reggio |
| Tight Structuring for Precise UML-Based Requirement Specifications |
| Integrating Performance Modeling in the Software Development Process / Simonetta Balsamo ; Marta Simeoni |
図書
