Abstract is missing.
- Data Flow Testing in TTCN-3 with a Relational Database SchemaGusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erös, Gábor Kovács. 1-18 [doi]
- Property Verification with MSCEmmanuel Gaudin, Eric Brunel. 19-35 [doi]
- Towards the Generation of AMF Configurations from Use Case Maps Based Availability RequirementsJameleddine Hassine, Abdelwahab Hamou-Lhadj. 36-53 [doi]
- Modeling Early Availability Requirements Using Aspect-Oriented Use Case MapsJameleddine Hassine, Gunter Mussbacher, Edna Braun, Mohammad Alhaj. 54-71 [doi]
- Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability PatternsBrahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Perez. 72-90 [doi]
- Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML ModelsLudovic Apvrille, Pierre de Saqui-Sannes. 91-106 [doi]
- Significantly Increasing the Usability of Model Analysis Tools through Visual FeedbackEl Arbi Aboussoror, Ileana Ober, Iulian Ober. 107-123 [doi]
- Modeling Component Erroneous Behavior and Error Propagation for Dependability AnalysisNaif A. Mokhayesh Alzahrani, Dorina C. Petriu. 124-143 [doi]
- An IMS DSL Developed at EricssonPascal Potvin, Mario Bonja, Gordon Bailey, Pierre Busnel. 144-162 [doi]
- Efficient Development of Domain-Specific Simulation Modelling Languages and ToolsAndreas Blunk, Joachim Fischer. 163-181 [doi]
- FTG+PM: An Integrated Framework for Investigating Model Transformation ChainsLevi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss. 182-202 [doi]
- Traceability Links in Model Transformations between Software and Performance ModelsMohammad Alhaj, Dorina C. Petriu. 203-221 [doi]
- Refactorings in Language Development with Asymmetric Bidirectional Model TransformationsMartin Schmidt, Arif Wider, Markus Scheidgen, Joachim Fischer, Sebastian von Klinski. 222-238 [doi]
- SDL Real-Time Tasks - Concept, Implementation, and EvaluationDennis Christmann, Tobias Braun, Reinhard Gotzhein. 239-257 [doi]
- Definition of Virtual Reality Simulation Models Using Specification and Description Language DiagramsPau Fonseca i Casas, Xavier Pi, Josep Casanovas, Jordi Jové. 258-274 [doi]
- Integration of SDL Models into a SystemC Project for Network SimulationPavel Morozkin, Irina Lavrovskaya, Valentin Olenev, Konstantin Nedovodeev. 275-290 [doi]