Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors

This publication has 14 references indexed in Scilit:

• Tools for specifying real-time systems
  Real-Time Systems, 1995
• The world and the machine
  Published by Association for Computing Machinery (ACM) ,1995
• An old-fashioned recipe for real time
  ACM Transactions on Programming Languages and Systems, 1994
• Real time: further misconceptions (or half-truths) [real-time systems]
  Computer, 1994
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• Stepwise design of real-time systems
  IEEE Transactions on Software Engineering, 1993
• Operational specification with joint actions: Serializable databases
  Distributed Computing, 1992
• Decentralization of process nets with centralized control
  Distributed Computing, 1989
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• No Silver Bullet Essence and Accidents of Software Engineering
  Computer, 1987