| Alternate document: Details STATEMATE: A Working Development of Complex Environment for the Reactive Systems (90) D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. |
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark Trakhtenbrot  Home/Search
Context Related
| wisdom.weizmann.ac.il/~...Statemate.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wisdom.weizmann.ac.il/~dharel/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper provides an overview of the STATEMATE system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiary of i-Logix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, in- tended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded sys- tems, control and communication systems, and interactive software or hardware. It enables a user to... (Update)
Cited by: More
Multithreading in Rapid Prototyping Target Platforms - Jurgen Niehaus Karsten (Correct)
Synthesis of Concurrent Haskell Programs from Message Sequence.. - Stolz (Correct)
ECL: A Specification Environment for System-Level Design - Lavagno, Sentovich (Correct)
Similar documents (at the sentence level):
58.7%: STATEMATE: A Working Development of Complex.. - Harel, Lachover.. (1990) (Correct)
Active bibliography (related documents): More All
0.6: Refinement and Validation of Software Requirements using .. - Kang, Lee, Lee, Kim, Kim (1997) (Correct)
0.5: The Role of the Software Engineer in Real-Time Software.. - Hoover (1995) (Correct)
0.3: Visual Programming and Parallel Computing - Browne, Dongarra, Hyder, Moore, .. (1994) (Correct)
Similar documents based on text: More All
0.7: The STATEMATE Semantics of Statecharts - Harel, Naamad (1996) (Correct)
0.7: On Formal Semantics of Statecharts as Supported by.. - Mikk, Lakhnech.. (1997) (Correct)
0.6: Real-Time Verification of STATEMATE Designs - Brockmeyer, Wittich (Correct)
Related documents from co-citation: More All
45: Statecharts: A visual formalism for complex systems - Harel - 1987
14: Communicating Sequential Processes (context) - Hoare - 1985
12: the formal semantics of statecharts (context) - Harel, Pnueli et al. - 1987
BibTeX entry: (Update)
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. ShtullTrauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403--414, April 1990. http://citeseer.ist.psu.edu/harel90statemate.html More
@article{ harel90statemate,
author = "David Harel and Hagi Lachover and Amnon Naamad and Amir Pnueli and Michal Politi and Rivi Sherman and Aharon Shtull-Trauring and Mark B. Trakhtenbrot",
title = "{STATEMATE}: A Working Environment for the Development of Complex Reactive Systems",
journal = "Software Engineering",
volume = "16",
number = "4",
pages = "403-414",
year = "1990",
url = "citeseer.ist.psu.edu/harel90statemate.html" }
Citations (may not include all citations):1174 Statecharts: A visual formalism for complex systems - Harel - 1987
198 Structure and Complexity of Rela- tional Queries - Chandra, Harel - 1982
194 the development of reactive systems (context) - Harel, Pnueli - 1985
122 Applications of temporal logic to the specification and veri.. (context) - Pnueli - 1986 ACM DBLP
118 the formal semantics of statecharts (context) - Harel, Pnueli et al. - 1987
89 Strategies for Real-Time System Specifi- cation (context) - HatIcy, Pirbhai - 1987
38 The transformation schema: An extension of the data flow dia.. (context) - Ward - 1986 ACM
25 Software process modeling: Principles of entity process mode.. (context) - Humphrey, Kellner - 1989 DBLP
5 Logix Inc (context) - of, i- - 1987
5 Logix Inc (context) - approach, systems - 1989
5 Logix Inc (context) - of, i- - 1989
4 STATEMATE and cruise control: A case: study (context) - Smith, Gethart - 1988
3 Building a visual designer's environment (context) - Graf - 1990 ACM
2 Comparative evaluations of four specification methods for re.. (context) - Wood, Wood - 1989
1 TRW Series on Software Engi eeriag (context) - Lano, for et al. - 1979
1 ECSAM--A method for the analysis of complex embedded systems.. (context) - Lavi, Winokur - 1989
1 Introduction to Autonata Theory (context) - Hopcroft, Ullman - 1979
1 A structured analysis method for real-time systems (context) - Harley - 1985
1 Optimal implementation of conjunerive queries in relational .. (context) - Chandra, Merlin - 1977
1 Structurel Development for Real-Time Sys- tems (context) - Ward, Melior - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/): More
Propositional Dynamic Logic of Nonregular Programs - Harel, Pnueli, Stavi (1983) (Correct)
Statecharts: A Visual Formalism For Complex Systems - Harel (1987) (Correct)
Beauty is in the Genes of the Beholder - Harel, Unger, Sussman (1984) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC