Vol. 21 (2009): Multi-Paradigm Modeling 2009

DOI: https://doi.org/10.14279/tuj.eceasst.21

Published: 2010-02-09

Articles

Code Generation with the Model Transformation of Visual Behavior Models

Tamás Mészáros, Tihamér Levendovszky, Gergely Mezei
- PDF
Modeling and Formal Verification of a Passive Optical Network on Chip Behavior

Luiza Gheorghe Iugan, Gabriela Nicolescu, Ian O'Connor
- PDF
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models

Márk Asztalos, László Lengyel, Tihamér Levendovszky
- PDF
DSL Composition for model-based test generation

Bruno Barroca, Levi Lucio, Vasco Amaral, Luis Pedro, Didier Buchs
- PDF
A Pattern-Based Approach to Manage Model References

Tarja Systa, Juanjuan Jiang
- PDF
Concurrent Design of Embedded Control Software

Marcel Groothuis, Raymond Frijns, Jeroen Voeten, Jan Broenink
- PDF
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems

Akshay Rajhans, Shang-Wen Cheng, Bradley Schmerl, David Garlan, Bruce Krogh, Clarence Agbi, Ajinkya Bhave
- PDF
Model-Based Engineering of Supervisory Controllers using CIF

Ramon Schiffelers, Rolf Theunissen, Dirk van Beek, Jacobus Rooda
- PDF
Systematic Transformation Development

Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer
- PDF
A practical approach to multi-modeling views composition

Andres Yie, Rubby Cassallas, Dirk Deridder, Dennis Wagelaar
- PDF
Synthesizing Executable Simulations from Structural Models of Component-Based Systems

Andreas Schuster, Jonathan Sprinkle
- PDF

Preface

Preface

Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle
- PDF