Abstract is missing.
- The Gap between Specification and SynthesisStephen J. Mellor.
- From Requirements to Code - A Full Model-Driven Development PerspectiveOscar Pastor.
- A Meta-model for Tests of Avionics Embedded SystemsAlexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber. 5-13 [doi]
- Consistency of UML Class and Statechart Diagrams with State InvariantsAli Hanzala Khan, Irum Rauf, Ivan Porres. 14-24 [doi]
- Synthesizing Decentralized Components from a Variant of Live Sequence ChartsDirk Fahland, Amir Kantor. 25-38 [doi]
- Making Sense to Modelers - Presenting UML Class Model Differences in ProseHarald Störrle. 39-48 [doi]
- Higher-order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling LanguagesBernhard Hoisl, Stefan Sobernig, Mark Strembeck. 49-61 [doi]
- Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and VerificationBertrand Boisvert, Louis Féraud, Sergei Soloviev. 62-74 [doi]
- Optimising Model-transformations using Design PatternsKevin Lano, Shekoufeh Kolahdouz Rahimi. 77-82 [doi]
- A Code Merger to Support Reverse Engineering Towards Model-driven Software DevelopmentOliver Haase, Nikolaus Moll, Paul Zerr. 83-88 [doi]
- UML-based Design and Verification Method for Developing Dependable Context-aware SystemsNaoyasu Ubayashi, Yasutaka Kamei. 89-94 [doi]
- Modelling and Enterprises - The Past, the Present and the FutureVinay Kulkarni, Suman Roychoudhury, Sagar Sunkle, Tony Clark, Balbir Barn. 95-100 [doi]
- Tool Support for the Evaluation of Matching Algorithms in the Eclipse Modeling FrameworkSabrina Uhrig, Felix Schwägerl. 101-110 [doi]
- Towards a Meta-model of the Cloud Computing Resource LandscapeKleopatra Chatziprimou, Kevin Lano, Steffen Zschaler. 111-116 [doi]
- TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace TransformationRaafat Zarka, Pierre-Antoine Champin, Amélie Cordier, Elöd Egyed-Zsigmond, Luc Lamontagne, Alain Mille. 117-122 [doi]
- Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMSJean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. 123-128 [doi]
- Visualizing OCL Constraint Patterns with VOCLAli Hamie. 129-134 [doi]
- Engineering Model Recommender Foundations - From Class Completion to Model RecommendationsAndreas Ganser, Horst Lichter. 135-142 [doi]
- Systematic Development of Control Designs via Formal RefinementManoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael Butler. 143-148 [doi]
- Composition of Domain Specific Modeling Languages - An Exploratory StudyEdmilson Campos Neto, Marília Aranha Freire, Uirá Kulesza, Adorilson Bezerra, Eduardo Aranha. 149-156 [doi]
- Static Analysis and Testing of Executable DSL SpecificationQinan Lai, Andy Carpenter. 157-162 [doi]
- A PIM-to-Code Requirements Engineering FrameworkGayane Sedrakyan, Monique Snoeck. 163-169 [doi]
- Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise DocumentationMaria Spichkova, Xiuna Zhu, Dongyue Mou. 170-174 [doi]
- A Model-driven Process for Data Transformation of Heterogeneous DataHaïfa Nakouri, Nadia Essoussi. 177-181 [doi]
- Arrangements of Finite-state Machines - Semantics, Simulation, and Model CheckingVladimir Estivill-Castro, René Hexel. 182-189 [doi]
- A Systematic Comparison of Semantic Integration Data Storage Architectures for Multidisciplinary SystemsEstefanía Serral, Olga Kovalenko, Thomas Moser, Stefan Biffl. 190-197 [doi]
- Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy ConsumptionAhmed Hammad, Hassan Mountassir, Samir Chouali. 198-201 [doi]
- Modular and Distributed Verification of SysML Activity DiagramsMessaoud Rahim, Hammad Ahmed, Ioualalen Malika. 202-205 [doi]
- Improving Modeling with Layered UML DiagramsHarald Störrle. 206-209 [doi]
- Model-based System Engineering for Fault Tree Generation and AnalysisNataliya Yakymets, Hadi Jaber, Agnes Lanusse. 210-214 [doi]
- Challenges of Model-driven Modernization - An Agile PerspectiveStavros Stavru, Iva Krasteva, Sylvia Ilieva. 219-230 [doi]
- Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization IntervalKumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno. 233-240 [doi]
- A MDE Framework for Semi-automatic Development of Web ApplicationsJavier Solis, Hasdai Pacheco, Karen Najera, Hugo Estrada. 241-246 [doi]
- Model-driven Development of Interactive Web User Interfaces with HTML5Michael Huber, Philipp Brune. 249-252 [doi]
- MDE for Enterprise Application SystemsAlfonso Diez, Nga Nguyen, Fernando Díez, Enrique Chavarriaga. 253-256 [doi]
- A General Framework for the Development of MDD ProjectsBeatriz Marín, Javier Pereira, Giovanni Giachetti, Felipe Hermosilla, Estefanía Serral. 257-260 [doi]
- A Survey of Model Comparison Approaches and ApplicationsMatthew Stephan, James R. Cordy. 265-277 [doi]
- Translating Platform-independent Code into Natural Language TextsHåkan Burden, Rogardt Heldal. 281-290 [doi]
- UML Class Diagram Simplification - A Survey for Improving Reverse Engineered Class Diagram ComprehensionHafeez Osman, Arjan van Zadelhoff, Michel R. V. Chaudron. 291-296 [doi]
- Why Do We Not Learn from Defects? - Towards Defect-Driven Software Process ImprovementNiklas Mellegård, Miroslaw Staron, Fredrik Törner. 297-303 [doi]
- Application of Model Comparison Techniques to Model Transformation TestingMatthew Stephan, James R. Cordy. 307-311 [doi]
- A Model-based Software Technology ProposalVahur Kotkas, Jaan Penjam, Ahto Kalja, Enn Tyugu. 312-315 [doi]
- Development of Adaptive Multi-cloud Applications - A Model-Driven ApproachJavier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal. 321-330 [doi]
- Model Driven Engineering of Cross-Layer Monitoring and AdaptationHui Song, Amit Raj, Saeed Hajebi, Siobhán Clarke, Aidan Clarke. 331-340 [doi]
- High Level Design of Adaptive Real-time Embedded Systems - A SurveyMouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mohamed Abid. 341-350 [doi]
- Model-based Adaptation of Cloud Computing ApplicationsChristian Inzinger, Benjamin Satzger, Philipp Leitner, Waldemar Hummer, Schahram Dustdar. 351-355 [doi]
- Automated Throughput Optimization of Cloud Services via Model-driven AdaptationJavier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo. 356-362 [doi]