Innovations in Systems and Software Engineering, Volume 5

Volume 5, Number 1, March 2009

• Ricardo Jorge Machado, Flávio Rech Wagner, Rick Kazman:
  Introduction to special issue: model-based development methodologies. 1-3
  
• Frédéric Jouault, Jean Bézivin, Mikaël Barbero:
  Towards an advanced model-driven engineering toolbox. 5-12
  
• Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes:
  Formal requirements modelling with executable use cases and coloured Petri nets. 13-25
  
• Avi Soffer, Dov Dori:
  Bridging the requirements-implementation modeling gap with object-process methodology. 27-34
  
• Elvinia Riccobene, Patrizia Scandurra:
  Model transformations in the UPES/UPSoC development process for embedded systems. 35-47
  
• Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius:
  MDE for SoC design. 49-64
  
• Alexandre Bragança, Ricardo Jorge Machado:
  A model-driven approach for the derivation of architectural requirements of software product lines. 65-78
  
• Lidia Fuentes, Nadia Gámez, Pablo Sánchez:
  Aspect-oriented design and implementation of context-aware pervasive applications. 79-93
  

Volume 5, Number 2, June 2009

• Janusz Zalewski:
  Special section on real-time safety-critical systems. 95-96
  
• Roman Gumzej, Wolfgang A. Halang:
  A safety shell for UML-RT projects structure and methods of the corresponding UML pattern. 97-105
  
• Roy Sterritt, Mike Hinchey:
  Adaptive reflex autonomicity for real-time systems. 107-115
  
• Angelo Furfaro, Libero Nigro:
  A development methodology for embedded systems based on RT-DEVS. 117-127
  
• Martin Kot:
  Modeling selected real-time database concurrency control protocols in Uppaal. 129-138
  
• Ondrej Rysavy, Jaroslav Ráb:
  A formal model of composing components: the TLA⁺ approach. 139-148
  
• Andrew J. Kornecki, Janusz Zalewski:
  Certification of software for real-time safety-critical systems: state of the art. 149-161