Electronic Communication of the European Association of Software Science and Technology, Volume 21

Volume 21: Multi-Paradigm Modeling 2009

- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/LevendovszkyL09
- ask others
Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle: Preface.

Articles

- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/IuganNO09
- ask others
Luiza Gheorghe Iugan, Gabriela Nicolescu, Ian O'Connor: Modeling and Formal Verification of a Passive Optical Network on Chip Behavior.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/RajhansCSGKAB09
- ask others
Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave: An Architectural Approach to the Design and Analysis of Cyber-Physical Systems.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/SchusterS09
- ask others
Andreas Schuster, Jonathan Sprinkle: Synthesizing Executable Simulations from Structural Models of Component-Based Systems.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/JiangS09
- ask others
Juanjuan Jiang, Tarja Systä: A Pattern-Based Approach to Manage Model References.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/YieCDW09
- ask others
Andrés Yie, Rubby Casallas, Dirk Deridder, Dennis Wagelaar: A practical approach to multi-modeling views composition.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BarrocaLBAP09
- ask others
Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro: DSL Composition for model-based test generation.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/KuhneMSVW09
- ask others
Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer: Systematic Transformation Development.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/AsztalosLL09
- ask others
Márk Asztalos, László Lengyel, Tihamer Levendovszky: Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/SchiffelersTBR09
- ask others
Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda: Model-Based Engineering of Supervisory Controllers using CIF.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/MeszarosLM09
- ask others
Tamás Mészáros, Tihamer Levendovszky, Gergely Mezei: Code Generation with the Model Transformation of Visual Behavior Models.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/GroothuisFVB09
- ask others
Marcel A. Groothuis, Raymond Frijns, Jeroen Voeten, Jan F. Broenink: Concurrent Design of Embedded Control Software.