STATEMATE: A Working Environment for the Development of Complex Reactive Systems (1990)


Download Links

by David Harel , Hagi Lachover , Amnon Naamad , Amir Pnueli , Michal Politi , Rivi Sherman , Aharon Shtull-trauring , Mark Trakhtenbrot
Venue:IEEE Transactions on Software Engineering
Citations:401 - 6 self

Active Bibliography

STATEMATE: A Working Development of Complex Environment for the Reactive Systems – D. Harel, H. Lachover, Hagi Lachover, A. Pnueli, A. Naamad, R. Sherman, A. ShtullTrauring, M. Trakhtenbrot, Amir Pnueli, M. Politi, Rivi Sherman, Aharon Shtull-trauring - 1990
Customizable Notations for Kernel Formalisms – Luciano Baresi, Alessandro Orso, Mauro Pezze - 1995
31 Formal Methods for the Specification and Design of Real-Time Safety Critical Systems – Jonathan S. Ostroff - 1992
4 Comparative evaluations of four specification methods for real-time systems – David P. Wood, William G. Wood, David P. Wood, William G. Wood - 1989
2 Interactive Modeling and Simulation of Virtual Manufacturing Assemblies: An Agent-Based Approach* – S. Ramaswamy, Yi Yan - 1998
Data Flow for High-Level Design and Specification – W. Mueller - 1990
1 Automatic generation of executable models from structured approach real-time specifications – Prih Hastono, Sorin A. Huss - 2004
1 Visual Tools for Verifying Real-Time Systems – Jonathan S. Ostroff - 1993
Modelling and Simulation of a Real-Time Hybrid System – Manuel I. Capel-tuñón
O³CASE: Operational Object Oriented CASE – Rakesh Agarwal, Marco Torchiano, Giorgio Bruno
3 IDERS: An Integrated Environment for the Development of Hard Real-Time Systems – Alejandro Alonso, Luciano Baresi, Hanne Christensen, Marko Heikkinen - 1995
6 SWSL: A Synthetic Workload Specification Language for Real-Time Systems – Daniel L. Kiskis, Kang G. Shin - 1994
Metamorphosis: An Integrated Object Oriented Requirements Analysis and Specification Method – João Baptista da Silva Araújo Júnior - 1996
2 Object-Oriented architectural support for developing complex systems – Rakesh Agarwal, Giorgio Bruno, Marco Torch
8 The Modelling of Embedded Systems Using HASoC – P. N. Green, M. D. Edwards - 2002
9 Behavior Generation using Model Switching - A Hybrid Bond Graph Modeling Technique – Pieter J. Mosterman, Gautam Biswas - 1994
14 Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods – Jan Tretmans, Klaas Wijbrans, Michel Chaudron - 2001
16 A Visual Toolset for the Design of Real-Time Discrete Event Systems – Jonathan S. Ostroff - 1997
4 Knowledge-Based Automation of a Design Method For Concurrent Systems – Kevin L. Mills, Hassan Gomaa - 2002