Author of the publication

Reactive Variables for System Specification and Design.

, and . STACS, volume 775 of Lecture Notes in Computer Science, page 275-286. Springer, (1994)

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

Reactive Variables for System Specification and Design., and . STACS, volume 775 of Lecture Notes in Computer Science, page 275-286. Springer, (1994)Introducing Formal Requirements into Industry., and . Algebraic Methods, volume 490 of Lecture Notes in Computer Science, page 129-141. Springer, (1989)Reconciling Operational and Declarative Specifications., and . CAiSE, volume 593 of Lecture Notes in Computer Science, page 221-238. Springer, (1992)Information systems methodologies - a framework for understanding (2. ed.)., , , , and . Addison-Wesley, (1991)Proving properties of shared data structures application to functional programming.. ACM Annual Conference, page 142-148. ACM, (1982)A Front-End to HOOD - The Clyder Requirements Engineering Method., and . Ada-Europe, volume 887 of Lecture Notes in Computer Science, page 60-62. Springer, (1994)A Data Model for Requirements Analysis., , , , and . ICDE, page 646-653. IEEE Computer Society, (1986)A Semantic Analysis of the Collection Concept., and . ER, page 149-164. North-Holland, (1988)From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study., , , , and . Algebraic Methods, volume 490 of Lecture Notes in Computer Science, page 395-431. Springer, (1989)GeSEM: A Model for Software Engineering Activities., and . IFIP Congress (1), volume A-12 of IFIP Transactions, page 94-102. North-Holland, (1992)