Abstract is missing.
- Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case)Egidio Astesiano, Maura Cerioli, Gianna Reggio. 1-15 [doi]
- Tight Structuring for Precise UML-Based Requirement SpecificationsEgidio Astesiano, Gianna Reggio. 16-34 [doi]
- Integrating Performance Modeling in the Software Development ProcessSimonetta Balsamo, Marta Simeoni. 35-49 [doi]
- The Inevitable Pain of Software Development: Why There Is No Silver BulletDaniel M. Berry. 50-74 [doi]
- Toward Component-Oriented Formal Software Development: An Algebraic ApproachMichel Bidoit, Donald Sannella, Andrzej Tarlecki. 75-90 [doi]
- Higher Order Applicative XML DocumentsPeter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández. 91-107 [doi]
- A New Paradigm for Requirements Specification and Analysis of System-of-SystemsDale S. Caffall, James B. Michael. 108-121 [doi]
- Towards Ontology Driven Software DesignPaolo Ciancarini, Valentina Presutti. 122-136 [doi]
- A Model Based Development Approach for Distributed Embedded SystemsFrédéric Gilliers, Fabrice Kordon, Dan Marius Regep. 137-151 [doi]
- Pervasive Challenges for Software ComponentsThomas Gschwind, Mehdi Jazayeri, Johann Oberleitner. 152-166 [doi]
- Model Generation for Legacy SystemsHardi Hungar, Tiziana Margaria, Bernhard Steffen. 167-183 [doi]
- Automatic Failures-Free Connector Synthesis: An ExamplePaola Inverardi, Massimo Tivoli. 184-197 [doi]
- Module Dependences in Software DesignDaniel Jackson. 198-203 [doi]
- Towards Fully Automatic Execution MonitoringClinton Jeffery, Mikhail Auguston, Scott Underwood. 204-218 [doi]
- Automation of Software System Development Using Natural Language Processing and Two-Level GrammarBeum-Seuk Lee, Barrett R. Bryant. 219-233 [doi]
- A General Resource Framework for Real-Time SystemsInsup Lee, Anna Philippou, Oleg Sokolsky. 234-248 [doi]
- Architecture Based Model Driven Software and System Development for Real-Time Embedded SystemsBruce Lewis. 249-260 [doi]
- A Computational Model for Complex Systems of Embedded SystemsLuqi, Ying Qiao, Lin Zhang. 261-273 [doi]
- Software Evolution as the Key to ProductivityOscar Nierstrasz. 274-282 [doi]
- Model-Checking Complex Software - A Memory PerspectiveMurali Rangarajan, Darren D. Cofer. 283-296 [doi]
- Agile Modeling with the UMLBernhard Rumpe. 297-309 [doi]
- Predictable Component Architectures Using Dependent Finite State MachinesHeinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner. 310-324 [doi]
- From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements EngineeringAxel van Lamsweerde, Emmanuel Letier. 325-340 [doi]
- View Consistency in Software DevelopmentMartin Wirsing, Alexander Knapp. 341-357 [doi]