Abstract is missing.
- Model-Based Performance Analysis of Service-Oriented Systems - (Invited Talk)Dorina C. Petriu. 1 [doi]
- SCADE: A Comprehensive Framework for Critical System and Software EngineeringThierry Le Sergent. 2-3 [doi]
- SDL-2010: Background, Rationale, and SurveyRick Reed. 4-25 [doi]
- TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and FutureMaxime Perrotin, Eric Conquet, Julien Delange, Andre Schiele, Thanassis Tsiodras. 26-37 [doi]
- Synthesizing Software Models: Generating Train Station Models AutomaticallyAndreas Svendsen, Øystein Haugen, Birger Møller-Pedersen. 38-53 [doi]
- Exploring Early Availability Requirements Using Use Case MapsJameleddine Hassine, Abdelouahed Gherbi. 54-68 [doi]
- Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance ComputingDidier Nassiet, Yohan Livet, Marc Palyart, David Lugato. 69-78 [doi]
- Verifiable Coverage Criteria for Automated TestingSergey Baranov, Vsevolod Kotlyarov, Thomas Weigert. 79-89 [doi]
- A New Approach in Model-Based Testing: Designing Test Models in TTCN-3Antal Wu-Hen-Chang, Gusztáv Adamis, Levente Erös, Gábor Kovács, Tibor Csöndes. 90-105 [doi]
- Towards a Model Based Approach for Integration TestingMohamed Mussa, Ferhat Khendek. 106-121 [doi]
- Session Initiation as a ServiceUrooj Fatima, Rolv Bræk, Humberto Nicolás Castejón. 122-137 [doi]
- PMG-Pro: A Model-Driven Development Method of Service-Based ApplicationsSelo Sulistyo, Andreas Prinz. 138-153 [doi]
- A Model-Driven Framework for Component-Based DevelopmentSurya Bahadur Kathayat, Hien Nam Le, Rolv Bræk. 154-167 [doi]
- Separation of Concerns with Transactional RegionsThomas Cottenier, Aswin van den Berg, Thomas Weigert. 168-185 [doi]
- Real-Time Signaling in SDLMarc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein. 186-201 [doi]
- Priority Scheduling in SDLDennis Christmann, Philipp Becker, Reinhard Gotzhein. 202-217 [doi]
- A Model-Based Formalization of the Textual Notation for SDL-UMLAlexander Kraas. 218-232 [doi]
- Standardizing Variability - Challenges and SolutionsFranck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen, Xiaorui Zhang. 233-246 [doi]
- MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance ComputingMarc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel. 247-261 [doi]
- AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive ApplicationsSaoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier. 262-275 [doi]