Abstract is missing.
- Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAALKim G. Larsen.
- Limitations of Model RepositoriesPhilippe Desfray.
- The Role of Foundational Ontologies in Deep ModelingColin Atkinson.
- On Interaction in Data MiningAndreas Holzinger.
- Models in Software Architecture Derivation and Evaluation - Challenges and OpportunitiesSilvia Abrahão.
- Using the Base Semantics given by fUML for VerificationAlessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira. 5-16 [doi]
- An Industrial Case Study on using Language Workbench Technology for Realizing Model-Driven EngineeringXi Zhu, Congchi Phung, Lars Pareto, Staffan Ehnebom, Mikael Krekola, Magnus Christerson, Mats Helander. 17-29 [doi]
- An EMF-based Toolkit for Creation of Domain-specific Data ServicesAndreas Bender, Stefan Bozic, Ivan Kondov. 30-40 [doi]
- A Graph-based Algorithm for Three-way Merging of Ordered Collections in EMF ModelsFelix Schwägerl, Sabrina Uhrig, Bernhard Westfechtel. 41-54 [doi]
- Collaborative Editing of EMF/Ecore Meta-models and Models - Conflict Detection, Reconciliation, and Merging in DiCoMEFAmanuel Koshima, Vincent Englebert. 55-66 [doi]
- A Domain Specific Language for Stepwise Design of Software ArchitecturesFabian Gilson, Vincent Englebert. 67-78 [doi]
- Specifying Trace Directives for UML Attributes and State MachinesHamoud I. Aljamaan, Timothy C. Lethbridge, Omar Bahy Badreddin, Geoffrey Guest, Andrew Forward. 79-86 [doi]
- What are the used Activity Diagram Constructs? - A SurveyGianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi. 87-98 [doi]
- Modeling of Tool Integration Resources with OSLC SupportWeiqing Zhang, Birger Møller-Pedersen. 99-110 [doi]
- Typing and Subtyping of MetamodelsHenning Berg, Birger Møller-Pedersen. 111-118 [doi]
- Signature Required - Making Simulink Data Flow and Interfaces ExplicitMarc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic. 119-131 [doi]
- Short Seminars on MDE Technologies - International ExperiencesMilosz Marek, Plechawska-Wojcik Malgorzata. 132-137 [doi]
- An Aspect-Oriented Model Transformation to Weave Security using CVLJose Miguel Horcas, Mónica Pinto, Lidia Fuentes. 138-147 [doi]
- Parsing Abstract Syntax Graphs with ModelCCLuis Quesada 0002, Fernando Berzal, Juan Carlos Cubero Talavera. 151-157 [doi]
- A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model MappingsLuis Quesada 0002, Fernando Berzal, Juan Carlos Cubero Talavera. 158-165 [doi]
- Model-Based Systems Engineering Tools - Devoloping the GUILTE SystemAna Luísa Ramos, José Vasconcelos Ferreira. 166-173 [doi]
- Model Matching for Model Transformation - A Meta-heuristic ApproachHajer Saada, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui. 174-181 [doi]
- Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUMLJérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier. 182-192 [doi]
- Pattern-based Mapping of OCL Specifications to JML ContractsAli Hamie. 193-200 [doi]
- A Case Study of Combining Compositional and Object-oriented Software DevelopmentEnn Tyugu, Mait Harf, Pavel Grigorenko. 201-208 [doi]
- Hardware In the Loop for VDM-Real Time Modeling of Embedded SystemsJosé Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Peter Gorm Larsen. 209-216 [doi]
- Model Composition for Biological Mathematical SystemsMandeep Gill, Steve McKeever, David Gavaghan. 217-224 [doi]
- A Test-Driven Approach for Developing Software LanguagesOmar Bahy Badreddin, Andrew Forward, Timothy C. Lethbridge. 225-234 [doi]
- Enhanced Code Generation from UML Composite State MachinesOmar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward, Maged Elaasar, Hamoud I. Aljamaan, Miguel Garzón. 235-245 [doi]
- Defining Domain Specific Transformations in Human-Computer Interfaces DevelopmentJean-Sebastien Sottet, Alain Vagner. 246-253 [doi]
- A Novel Approach to Versioning and Merging Model and Code UniformlyOmar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward. 254-263 [doi]
- Investigation and Evaluation of UML Action LanguagesOmar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward. 264-273 [doi]
- Analysis and Validation of AUTOSAR ModelsJulian Kienberger, Pascal Minnerup, Stefan Kuntz, Bernhard Bauer. 274-281 [doi]
- A Framework for Model Recommenders - Requirements, Architecture and Tool SupportAndrej Dyck, Andreas Ganser, Horst Lichter. 282-290 [doi]
- On Designing Recommenders for Graphical Domain Modeling EnvironmentsAndrej Dyck, Andreas Ganser, Horst Lichter. 291-299 [doi]
- A Recipe for Tool InteroperabilityAndreas Baumgart, Christian Ellen. 300-308 [doi]
- A Bottom Up SPL Design MethodJihen Maazoun, Nadia Bouassida, Hanêne Ben-Abdallah. 309-316 [doi]
- A Formal Semantics for Sequence Diagrams and a Strategy for System AnalysisLucas Lima, Juliano Iyoda, Augusto Sampaio. 317-324 [doi]
- A Language for Enabling Model-Driven Analysis of Business ProcessesPaolo Bocciarelli, Andrea D'Ambrogio, Emiliano Paglia. 325-332 [doi]
- Validating the Functional Design of Embedded Systems against Stakeholder IntentionsMarian Daun, Thorsten Weyer, Klaus Pohl. 333-339 [doi]
- Semantic Approach to Automatically Defined Model TransformationTiexin Wang, Sébastien Truptil, Frédérick Bénaben. 340-347 [doi]
- Verbalization of Business Rules - Application to OCL Constraints in the Utility DomainRayhana Baghli, Bruno Traverson. 348-355 [doi]
- Natural-language Scenario Descriptions for Testing Core Language Models of Domain-Specific LanguagesBernhard Hoisl, Stefan Sobernig, Mark Strembeck. 356-367 [doi]
- Architectural Specification and Analysis with XCD - The Aegis Combat System Case StudyMert Ozkaya, Christos Kloukinas. 368-375 [doi]
- A New Flexible Method for Advising Metamodel MatchingLamine Lafi, Jamel Feki, Slimane Hammoudi. 376-383 [doi]
- Automated Composition of Sequence Diagrams via AlloyMohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles. 384-391 [doi]
- The Eclipse Java Metamodel - Scaffolding Software Engineering Research on Java Projects with MDE TechniquesPedro Janeiro Coimbra, Fernando Brito e Abreu. 392-399 [doi]
- Model-Driven GUI Generation and Navigation for Android BIS AppsLuís Pires da Silva, Fernando Brito e Abreu. 400-407 [doi]
- A Pattern Language for Use Case ModelingAntónio Miguel Rosado da Cruz. 408-414 [doi]
- Compiling Graph Transformation Rules into a Procedural Language for Behavioral ModelingSabine Winetzhammer, Bernhard Westfechtel. 415-424 [doi]
- Transformation BPEL Processes to RECATNet for Analysing Web Services CompositionsAhmed Kheldoun, Malika Ioualalen. 425-430 [doi]
- Survey of Graph Rewriting applied to Model TransformationsFrancisco de la Parra, Thomas Dean. 431-441 [doi]
- iArch - An IDE for Supporting Abstraction-aware Design TraceabilityDi Ai, Naoyasu Ubayashi, Peiyuan Li, Shintaro Hosoai, Yasutaka Kamei. 442-447 [doi]
- An Approach to Class Diagram DesignChebanyuk Elena. 448-453 [doi]
- A Deployment-oriented Development Process based on Context Variability ModelingKa Chun Anthony Lee, Maria-Teresa Segarra, Stephane Guelec. 454-459 [doi]
- Resourcebus - A New Substrate for Model-driven CreationsPetr C. Smolik, Pavel Vitkovsky. 460-465 [doi]
- Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order TransformationBernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka. 466-471 [doi]
- Toward Evolution Models for Data WarehousesSaïd Taktak, Jamel Feki, Gilles Zurfluh. 472-479 [doi]
- Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed SystemsCrystal Chang Din, Olaf Owe, Richard Bubel. 480-487 [doi]
- Extending UML Testing Profile Towards Non-functional Test ModelingFederico Toledo Rodríguez, Francesca Lonetti, Antonia Bertolino, Macario Polo Usaola, Beatriz Pérez Lamancha. 488-497 [doi]
- Domain-specific Languages as Tools for Teaching 3D GraphicsJacek Kesik, Kamil Nowakowski, Kamil Zyla. 498-503 [doi]
- Staged Model-Driven Generators - Shifting Responsibility for Code Emission to Embedded MetaprogramsYannis Lilis, Anthony Savidis, Yannis Valsamakis. 509-521 [doi]
- SWB Process - A Business Process Management System driven by Semantic TechnologiesHasdai Pacheco, Karen Najera, Hugo Estrada, Javier Solis. 525-532 [doi]
- A Model-based Tool for Generating Software Process Model Tailoring TransformationsLuis Silvestre, María Cecilia Bastarrica, Sergio F. Ochoa. 533-540 [doi]
- Key Features for a Successful Model-Driven Development ToolBeatriz Marín, Andrés Salinas, Juan Morandé, Giovanni Giachetti, Jose De la Vara. 541-548 [doi]
- On the Support of Multi-perspective Process Models Variability for Smart EnvironmentsAitor Murguzur, Xabier De Carlos, Salvador Trujillo, Goiuria Sagardui. 549-554 [doi]
- An Approach based on SysML and SystemC to Simulate Complex SystemsAbbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët. 555-560 [doi]
- Integrating Testing into Agile Software Development ProcessesR. van den Broek, Marcello M. Bonsangue, M. Chaudron, H. van Merode. 561-569 [doi]
- The MDArte Experience - Organizational Aspects Acquired from a Successful Partnership between Government and Academia using Model-Driven DevelopmentRodrigo Salvador Monteiro, Roque Elias Assumpção Pinel, Geraldo Zimbrão, Jano Moreira de Souza. 575-584 [doi]
- Supporting Concurrent Development of Requirements and Architecture - A Model-based ApproachAndreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker, Sabine Teufl. 587-595 [doi]
- The ETSI Test Description Language TDL and its ApplicationAndreas Ulrich, Sylvia Jell, Anjelika Votintseva, Andres Kull. 601-608 [doi]
- Towards a Method for Combined Model-based Testing and AnalysisBrian Nielsen. 609-618 [doi]
- Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board SoftwareRafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio. 619-625 [doi]
- Formal Test-Driven Development with Verified Test CasesBernhard K. Aichernig, Florian Lorber, Stefan Tiran. 626-635 [doi]
- Combining Test and Proof in MBAT - An Aerospace Case StudyMichael Dierkes. 636-644 [doi]
- Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development EnvironmentOmar Kacimi, Christian Ellen, Markus Oertel, Daniel Sojka. 645-652 [doi]
- Information Models and Transformation Principles Applied to Servitization of Manufacturing and Service Systems DesignCarlos Agostinho, Hassan Bazoun, Gregory Zacharewicz, Yves Ducq, Hadrien Boye. 657-665 [doi]
- SLMToolBox - A Tool Set for Service EngineeringHadrien Boye, Hassan Bazoun, Kamel Belkhelladi. 666-672 [doi]
- Toward a Unified Intercloud Interoperability Conceptual Model for IaaS Cloud Service Tahereh Nodehi, Sudeep Ghimire, Ricardo Jardim-Gonçalves. 673-681 [doi]
- Modelling Services for Interoperability NegotiationCarlos Coutinho, Adina Cretan, Ricardo Jardim-Gonçalves. 682-688 [doi]