Abstract is missing.
- Modeling Executable Architectural Design Patterns for Software Product LinesJulie S. Fant, Hassan Gomaa, Robert G. Pettit IV. [doi]
- Requirements as First-Class Citizens: Integrating Requirements closely with Implementation ArtifactsMarkus Völter, Daniel Ratiu, Federico Tomassetti. [doi]
- Integrating verifiable Assume/Guarantee contracts in UML/SysMLIulia Dragomir, Iulian Ober, Christian Percebois. [doi]
- Modeling and Verification of Redundancy PoliciesHamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha. [doi]
- Combinations of Antipattern Heuristics in Software Architecture Optimization for Embedded SystemsRamin Etemaadi, Michel R. V. Chaudron. [doi]
- Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML ProfileFederico Ciccozzi. [doi]
- Model-based Power Consumption Analysis of Smartphone ApplicationsShin Nakajima. [doi]
- Interface Verification Using Executable Reference Models: An Application in the Automotive InfotainmentChristian Drabek, Thomas Pramsohler, Marc Zeller, Gereon Weiss. [doi]