Abstract is missing.
- An Approach to Composition Motivated by wpMichel Charpentier. 1-14 [doi]
- Compositional Verification of Secure Applet InteractionsGilles Barthe, Dilian Gurov, Marieke Huisman. 15-32 [doi]
- A Generic Component Framework for System ModelingHartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen. 33-48 [doi]
- Implementing Condition/Event Nets in the Circal Process AlgebraAntonio Cerone. 49-63 [doi]
- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System DesignsFei Xie, James C. Browne. 64-79 [doi]
- Model Generation by Moderated Regular ExtrapolationAndreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen. 80-95 [doi]
- Better Slicing of Programs with Jumps and SwitchesSumit Kumar, Susan Horwitz. 96-112 [doi]
- Architectural Types Revisited: Extensible And/Or ConnectionsMarco Bernardo, Francesco Franzè. 113-127 [doi]
- Mapping an ADL to a Component-Based Application Development EnvironmentVirginia C. Carneiro de Paula, Thaís Vasconcelos Batista. 128-142 [doi]
- From EDOC Components to CCM Components: A Precise Mapping SpecificationMariano Belaunde, Mikael Peltier. 143-158 [doi]
- Engineering Modelling Languages: A Precise Meta-Modelling ApproachTony Clark, Andy Evans, Stuart Kent. 159-173 [doi]
- AToM:::3:::: A Tool for Multi-formalism and Meta-modellingJuan de Lara, Hans Vangheluwe. 174-188 [doi]
- A Toolbox for Automating Visual Software EngineeringLuciano Baresi, Mauro Pezzè. 189-202 [doi]
- Enriching OCL Using Observational Mu-CalculusJulian C. Bradfield, Juliana Küster Filipe, Perdita Stevens. 203-217 [doi]
- Formal Verification of UML Statecharts with Real-Time ExtensionsAlexandre David, M. Oliver Möller, Wang Yi. 218-232 [doi]
- An Authoring Tool for Informal and Formal Requirements SpecificationsReiner Hähnle, Kristofer Johannisson, Aarne Ranta. 233-248 [doi]
- Introducing Context-Based ConstraintsFelix Bübl. 249-263 [doi]
- Formal Requirements Engineering Using Observer ModelsAndreas Nonnengart, Georg Rock, Werner Stephan. 264-278 [doi]
- Automatic Generation of Use Cases from Workflows: A Petri Net Based ApproachOscar López, Miguel A. Laguna, Francisco José García Peñalvo. 279-293 [doi]
- Meta-modeling Techniques Meet Web Application Design ToolsLuciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini. 294-307 [doi]
- Formal-Driven Conceptualization and Prototyping of Hypermedia ApplicationsAntonio Navarro, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, José Luis Sierra. 308-322 [doi]
- The Coordination Development EnvironmentJoão Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro. 323-326 [doi]
- The KeY System: Integrating Object-Oriented Design and Formal MethodsWolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt. 327-330 [doi]
- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System DesignsFei Xie, Vladimir Levin, James C. Browne. 331-335 [doi]
- Demonstration of an Operational Procedure for the Model-Based Testing of CTI SystemsAndreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide. 336-340 [doi]