Abstract is missing.
- Deriving Non-zeno Behavior Models from Goal Models Using ILPDalal Alrajeh, Alessandra Russo, Sebastián Uchitel. 1-15 [doi]
- What s in a Feature: A Requirements Engineering PerspectiveAndreas Classen, Patrick Heymans, Pierre Yves Schobbens. 16-30 [doi]
- Formal Approach to Integrating Feature and Architecture ModelsMikolás Janota, Goetz Botterweck. 31-45 [doi]
- Correctness-Preserving Configuration of Business Process ModelsWil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling. 46-61 [doi]
- Consistent Integration of Models Based on Views of Visual LanguagesHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange. 62-76 [doi]
- Translating Model Simulators to Analysis ModelsJuan de Lara, Hans Vangheluwe. 77-92 [doi]
- Orthographic Modeling EnvironmentColin Atkinson, Dietmar Stoll. 93-96 [doi]
- HOL-OCL: A Formal Proof Environment for UML/OCLAchim D. Brucker, Burkhart Wolff. 97-100 [doi]
- Towards Faithful Model Extraction Based on ContextsLucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel. 101-115 [doi]
- Leveraging Patterns on Domain Models to Improve UML Profile DefinitionFrançois Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard. 116-130 [doi]
- When Things Go Wrong: Interrupting ConversationsJuliana Küster Filipe Bowles, Sotiris Moschoyiannis. 131-145 [doi]
- Distributed Behavioural Adaptation for the Automatic Composition of Semantic ServicesTarek Melliti, Pascal Poizat, Sonia Ben Mokhtar. 146-162 [doi]
- Engineering Service Oriented Applications: From StPowla Processes to SRML ModelsLaura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec. 163-178 [doi]
- A Logic of Graph ConstraintsFernando Orejas, Hartmut Ehrig, Ulrike Prange. 179-198 [doi]
- A Generic Complete Dynamic Logic for Reasoning About Purity and EffectsTill Mossakowski, Lutz Schröder, Sergey Goncharov. 199-214 [doi]
- Modelling and Verification of Timed Interaction and MigrationGabriel Ciobanu, Maciej Koutny. 215-229 [doi]
- A Model Checking Approach for Verifying COWS SpecificationsAlessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi. 230-245 [doi]
- Contextual Integration Testing of ClassesGiovanni Denaro, Alessandra Gorla, Mauro Pezzè. 246-260 [doi]
- An Automatic Verifier for Java-Like Programs Based on Dynamic FramesJan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte. 261-275 [doi]
- A Domain Analysis to Specify Design Defects and Generate Detection AlgorithmsNaouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien. 276-291 [doi]
- Automated Analysis of Permission-Based Security Using UMLsecJan Jürjens, Jörg Schreck, Yijun Yu. 292-295 [doi]
- Software Quality Improvement Via Pattern MatchingRadu Kopetz, Pierre-Etienne Moreau. 296-300 [doi]
- Object Composition in Scenario-Based ProgrammingYoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz. 301-316 [doi]
- Regular Inference for State Machines Using Domains with Equality TestsTherese Berg, Bengt Jonsson, Harald Raffelt. 317-331 [doi]
- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software SystemsSubhajit Datta, Robert van Engelen. 332-346 [doi]
- Verification of Architectural Refactorings by Rule ExtractionDénes Bisztray, Reiko Heckel, Hartmut Ehrig. 347-361 [doi]
- Formal Model-Driven Program RefactoringTiago Massoni, Rohit Gheyi, Paulo Borba. 362-376 [doi]
- An Algebraic Semantics for MOFArtur Boronat, José Meseguer. 377-391 [doi]
- A Formal Framework for Developing Adaptable Service-Based ApplicationsLeen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè. 392-406 [doi]
- Language-Based Optimisation of Sensor-Driven Distributed Computing ApplicationsJonathan J. Davies, Alastair R. Beresford, Alan Mycroft. 407-422 [doi]
- Clint: A Composition Language Interpreter (Tool Paper)Javier Cámara, Gwen Salaün, Carlos Canal. 423-427 [doi]