Volume 21: Multi-Paradigm Modeling 2009

DOI: http://dx.doi.org/10.14279/tuj.eceasst.21

Table of Contents

Preface

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

Articles

Modeling and Formal Verification of a Passive Optical Network on Chip Behavior
Luiza Gheorghe Iugan, Gabriela Nicolescu, Ian O'Connor
PDF
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems
Akshay Rajhans, Shang-Wen Cheng, Bradley Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave
PDF
Synthesizing Executable Simulations from Structural Models of Component-Based Systems
Andreas Schuster, Jonathan Sprinkle
PDF
A Pattern-Based Approach to Manage Model References
Tarja Systa, Juanjuan Jiang
PDF
A practical approach to multi-modeling views composition
Andres Yie, Rubby Cassallas, Dirk Deridder, Dennis Wagelaar
PDF
DSL Composition for model-based test generation
Bruno Fontes Barroca, Levi Silva Lucio, Vasco Moreira Amaral, Luis Miguel Pedro, Didier Buchs
PDF
Systematic Transformation Development
Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer
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
Model-Based Engineering of Supervisory Controllers using CIF
Ramon R.H. Schiffelers, Rolf J.M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
PDF
Code Generation with the Model Transformation of Visual Behavior Models
Tamás Mészáros, Tihamér Levendovszky, Gergely Mezei
PDF
Concurrent Design of Embedded Control Software
Marcel Groothuis, Raymond Frijns, Jeroen Voeten, Jan Broenink
PDF