Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones

This publication has 16 references indexed in Scilit:

• Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract
  Electronic Notes in Theoretical Computer Science, 2004
• The synchronous languages 12 years later
  Proceedings of the IEEE, 2003
• Refinement of Time
  Lecture Notes in Computer Science, 1997
• Four dark corners of requirements engineering
  ACM Transactions on Software Engineering and Methodology, 1997
• Architectural mismatch: why reuse is so hard
  IEEE Software, 1995
• Specification and analysis of system architecture using Rapide
  IEEE Transactions on Software Engineering, 1995
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• Towards a formal foundation of the specification and description language SDL
  Formal Aspects of Computing, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• A Calculus of Communicating Systems
  1980