Author of the publication

Modeling Reactive Systems with Statecharts: The Statemate Approach

, and . McGraw-Hill, New York, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A High School Program in Computer Science., , , and . Computer, 28 (10): 73-80 (1995)Specifying and executing behavioral requirements: the play-in/play-out approach., and . Softw. Syst. Model., 2 (2): 82-107 (2003)Horn Clauses Queries and Generalizations., and . J. Log. Program., 2 (1): 1-15 (1985)preliminary version: PODS 1982: 158-163.On Object Systems and Behavioral Inheritance., and . IEEE Trans. Software Eng., 28 (9): 889-903 (2002)Languages for Programming - From Punched Cards to Wise Computing.. MODELSWARD, page 9. SciTePress, (2018)And/Or Programs: A New Approach to Structured Programming.. ACM Trans. Program. Lang. Syst., 2 (1): 1-17 (1980)On Statecharts with Overlapping., and . ACM Trans. Softw. Eng. Methodol., 1 (4): 399-421 (1992)What (Else) Should CS Educators Know?, and . Commun. ACM, 41 (9): 77-84 (1998)Completeness Results for Recursive Data Bases., and . PODS, page 244-252. ACM Press, (1993)Nondeterminism in Logics of Programs., and . POPL, page 203-213. ACM Press, (1978)