Non-Markovian analysis for model-driven engineering of real-time software Laura Carnevali, Marco Paolieri, Alessandro Santoni, Enrico Vicario Dipartimento di Ingegneria dell’Informazione – Università di Firenze Via

Source URL: www-bcf.usc.edu

MDSheet: A Framework for Model-driven Spreadsheet Engineering J´acome Cunha∗ , Jo˜ao Paulo Fernandes∗† Jorge Mendes∗ , Jo˜ao Saraiva∗ ∗ Departamento de Inform´ atica, Universidade do Minho, Portugal {jaco

Source URL: alfa.di.uminho.pt

Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report Sina Madani and Dimitrios S. Kolovos Department of Computer Science, University of York, UK {sm1748, dimitris.kolovos}@york.

Source URL: oclworkshop.github.io

2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing (MDHPCLTowards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms Alexandre Beslic ‡,

Source URL: ceur-ws.org

Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch, Grant Olney Passmore and André Platzer Abstract. Hybrid systems with both discrete and continuous dynamics are an important model for real-w

Source URL: symbolaris.com

Special Issue on Traceability in Model-Driven Engineering manuscript No. (will be inserted by the editor) VbTrace: Using View-based and Model-driven Development to Support Traceability in Process-driven SOAs Huy Tran ·

Source URL: eprints.cs.univie.ac.at

2013 NDIA GROUND VEHICLE SYSTEMS ENGINEERING AND TECHNOLOGY SYMPOSIUM SYSTEMS ENGINEERING (SE) MINI-SYMPOSIUM AUGUST 21-22, 2013 – TROY, MICHIGAN REDUCE PROJECT SCHEDULES AND INCREASE QUALITY USING MODEL DRIVEN DEVELOP

Source URL: www.ndia-mich.org

Bridging The Formal Techniques and Model-Driven Engineering Divide Robert France Department of Computer Science Colorado State University Fort Collins, CO 80523

Source URL: fm.csl.sri.com

Towards a methodology for rigorous development of generic requirements patterns

Source URL: rodin.cs.ncl.ac.uk

• Engineering
• Software engineering
• Technology
• Systems engineering
• Unified Modeling Language
• Software design
• Scientific modeling
• Software requirements
• Modeling language
• Object Process Methodology
• Specification
• Model-driven architecture

Reduce Project Schedules and Increase Quality using Model Driven Development for Design, Verification and Test John Vargas Systems Architect Mentor Graphics Reduce Project Schedules using MDD – © Mentor Graphics 2013

Source URL: www.ndia-mich.org

• Mentor Graphics
• Prototype
• Engineering
• Simulation
• Business
• Technology
• Electronic engineering
• Electronic design
• Integrated circuits