A Junction between State Based and Behavioural Specification (Invited Talk)

Authors:
Howard Bowman;John Derrick
Affiliations:
-;-
Venue:
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Year:
1999

Toward Constraint-Object-Oriented Development

IEEE Transactions on Software Engineering
Behavioural typing for objects and process calculi

Formal methods for distributed processing
A Formal Framework for Viewpoint Consistency

Formal Methods in System Design
Behavioural Subtyping Relations for Object-Oriented Formalisms

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Activity Graphs and Processes

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Behavioral Subtyping Relations for Active Objects

Formal Methods in System Design
A Relational Framework For The Integration Of Specifications

Journal of Integrated Design & Process Science

Hi-index	0.00