Modelling Foundations and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642314902, 9783642314919
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer

2012 ◽  
pp. 416-427 ◽  
Author(s):  
Ulrich Winkler ◽  
Mathias Fritzsche ◽  
Wasif Gilani ◽  
Alan Marshall

A Plug-in Based Approach for UML Model Simulation

2012 ◽  
pp. 328-339
Author(s):  
Alek Radjenovic ◽  
Richard F. Paige ◽  
Louis M. Rose ◽  
Jim Woodcock ◽  
Steve King
Keyword(s):  
Model Simulation

On-the-Fly Emendation of Multi-level Models

2012 ◽  
pp. 194-209 ◽  
Author(s):  
Colin Atkinson ◽  
Ralph Gerbig ◽  
Bastian Kennel
Keyword(s):  
Multi Level

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems

2012 ◽  
pp. 340-351 ◽  
Author(s):  
Alek Radjenovic ◽  
Nicholas Matragkas ◽  
Richard F. Paige ◽  
Matteo Rossi ◽  
Alfredo Motta ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Automated Verification ◽  
Tool Chain ◽  
Uml Models

Solving Acquisition Problems Using Model-Driven Engineering

2012 ◽  
pp. 428-443 ◽  
Author(s):  
Frank R. Burton ◽  
Richard F. Paige ◽  
Louis M. Rose ◽  
Dimitrios S. Kolovos ◽  
Simon Poulding ◽  
...  
Keyword(s):  
Model Driven Engineering ◽  
Model Driven

Code Generation Nirvana

2012 ◽  
pp. 319-327
Author(s):  
Petr Smolik ◽  
Pavel Vitkovsky
Keyword(s):  
Code Generation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document