An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools

Authors:
Robert Büssow;Wolfgang Grieskamp;Winfried Heicking;Stephan Herrmann
Affiliations:
-;-;-;-
Venue:
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Year:
1998

Statecharts: A visual formalism for complex systems

Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
The Z notation: a reference manual

The Z notation: a reference manual
Lua—an extensible extension language

Software—Practice & Experience
Pizza into Java: translating theory into practice

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems

ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
A Structure Preserving Encoding of Z in Isabelle/HOL

TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
AutoFocus: A Tool for Distributed Systems Specification

FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Project integrating reference object library (PIROL): an object-oriented multiple-view SEE

SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences

Hi-index	0.00