JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques

A Notation for Component-Based Design of Java Applications

FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications

From Informal Requirements to COOP: A Concurrent Automata Approach

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II

From conditional specifications to interaction charts

Formal Methods in Software and Systems Modeling