Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A. & Trakhtenbrot, M. [1990], `STATEMATE: A working environment for the development of complex reactive systems', IEEE Transactions on Software Engineering 16, 403 -- 414.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Multithreading in Rapid Prototyping Target Platforms - Jurgen Niehaus Karsten (Correct)
No context found.
Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A. & Trakhtenbrot, M. [1990], `STATEMATE: A working environment for the development of complex reactive systems', IEEE Transactions on Software Engineering 16, 403 -- 414.
Synthesis of Concurrent Haskell Programs from Message Sequence.. - Stolz (Correct)
No context found.
D.Harel et al. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403--414, 1990.
ECL: A Specification Environment for System-Level Design - Lavagno, Sentovich (20 citations) (Correct)
No context found.
D. Har'el, H. Lachover, A. Naamad, A. Pnueli, et al. STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4), April 1990.
Modelling biological processes using workflow and Petri Net.. - Peleg, Yeh, Altman (2002) (1 citation) (Correct)
No context found.
Harel,D., Lachover,H., Naamad,A., Pnueli,A., Politi,M., Sherman, R., Shtull-Trauring,A. and Trakhtenbrot,M. (1990) STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng., 16, 403--414.
Asynchronous Interaction between FSM and Dataflow Models - Dohyung Kim Soonhoi (Correct)
No context found.
Harel, D.; Lachover, H.; Naamad, A.; Pnueli, A.; Politi, A.; Sherman, R.; Shtull-Trauring, A.; Trakhtenbrot, M.; Statemate: a working environment for the development of complex reactive systems. IEEE Trans. on Software Engineering, Vol. 16, No. 4, April 1990.
System Level Specification for Multimedia Applications - Kim, Ha (1999) (Correct)
No context found.
Harel, D.; Lachover, H.; Naamad, A.; Pnueli, A.; Politi, A.; Sherman, R.; Shtull-Trauring, A.; Trakhtenbrot, M.; Statemate: a working environment for the development of complex reactive systems. IEEE Trans. on Software Engineering, Vol. 16, No. 4, April 1990.
A Framework for Translating Models and - Specifications Shmuel Katz (Correct)
No context found.
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 Trans. on Software Eng., 16(4):403--414, April 1990.
Animating ebXML Transactions with a Workflow Engine - Eshuis, Brimont, Dubois.. (Correct)
No context found.
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, Apr. 1990.
A Comparison Framework and Assessment of two Specification.. - Elkoutbi, Keller (2002) (Correct)
No context found.
Harel D., Lachover H., Naamad A., Pnueli A., Politi M., Sherman R., Shtull-Trauring A. and Trakhtenbrot M. : STATEMATE : A Working Environment for The Development of Complex Reactive Systems. Transactions on Software Engineering, 16(4):403-414, April 1990.
YAWL: Yet Another Workflow Language - van der Aalst, Hofstede (2003) (15 citations) (Correct)
No context found.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403--414, 1990.
Insights to Angluin's Learning - Berg, Jonsson, Leucker, Saksena (2003) (Correct)
No context found.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M.B. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. on Software Engineering, 16(4):403--414, April 1990.
An Implementable Formal Language for Hard Real-Time Systems - Bradley (1995) (Correct)
No context found.
D Harel, H Lachover, A Naamad, A Pnueli, M Politi, R Sherman, A ShtullTrauring, and M Traktenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403--413, April 1990.
Synthesis of Concurrent Haskell Programs from Message Sequence.. - Stolz (Correct)
No context found.
D.Harel et al. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403--414, 1990.
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
No context found.
Harel, D., Loachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., and Trakhtenbrot, M. (1990). Statemate: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403--413.
Haobo Yu, Rainer Doemer, Daniel Gajski - May Center For (Correct)
No context found.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: a working environment for the development of complex reactive systems. IEEE transactions on software engineering, April 1990.
Effective Visualisation for Comprehending Object-Oriented.. - Pacione (2004) (Correct)
No context found.
Harel D, Lachover H, Naamad A, Pnueli A, Politi M, Sherman R, Shtull-Trauring A, Trakhtenbrot M, `STATEMATE: a working environment for the development of complex reactive systems', IEEE Transactions on Software Engineering, 16(4):403-414, 1990
Information Societies Technology - Ist Programme Future (Correct)
No context found.
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 Software Engineering, 16:403--414, 1990.
APEL: a Graphical Yet Executable Formalism for Process.. - Dami, Estublier, Amiour (1997) (28 citations) (Correct)
No context found.
D. Harel. "STATEMATE: A Working Environment for the Development of Complex Reactive Systems." In Proc. of the 10th Int'l Conf. on Software Engineering, pages 396--406, 1988.
Complete Behavioural Testing of Object-Oriented Systems Using.. - Stannett, al. (2002) (Correct)
No context found.
Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R. Shtull-Trauring, A. and Trakhtenbrot, M.: "STATEMATE: A working environment for the development of complex reactive systems." IEEE Trans. Softw. Eng., 16(4) , 403-414 (1990).
Insights to Angluin's Learning - Berg, Jonsson, Leucker, Saksena (2003) (Correct)
No context found.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M.B. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. on Software Engineering, 16(4):403--414, April 1990.
Developing Distributed Systems Step by Step with UML-RT - Sandner (2000) (Correct)
No context found.
D. Harel, H. Lachover, A. Naamad, A. Pnuel, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403--413, 1990.
Views and Concerns and Interrelationships - Lessons Learned from .. - Herrmann (2002) (Correct)
No context found.
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), April 1990. 19, 183
Quasi-Static Scheduling for Concurrent Architectures - Jordi Cortadella Universitat (Correct)
No context found.
D. Har'el, H. Lachover, A. Naamad, A. Pnueli, et al. STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4), April 1990.
Effective Visualisation for Comprehending Object-Oriented.. - Pacione (2004) (Correct)
No context found.
Harel D, Lachover H, Naamad A, Pnueli A, Politi M, Sherman R, Shtull-Trauring A, Trakhtenbrot M, `STATEMATE: a working environment for the development of complex reactive systems', IEEE Transactions on Software Engineering, 16(4):403-414, 1990
Supporting Software Processes Using Knowledge Management - Kneuper (2001) (3 citations) (Correct)
No context found.
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, April 1990.
First 50 documents Next 50
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