EXPOSE: an animation tool for process-oriented specifications

Authors:
Adam C. Winstanley;David W. Bustard
Affiliations:
-;-
Venue:
Software Engineering Journal
Year:
1991

Citing 0
Cited 3

Making Changes to Formal Specifications: Requirements and an Example

IEEE Transactions on Software Engineering
An inexact model matching approach and its applications

Journal of Systems and Software
Integrating process modelling and soft systems analysis

Methods'96 Proceedings of the 1996 international conference on Methods Integration

Quantified Score

Hi-index	0.00

Visualization

Abstract