The implementation of Z specifications using program transformation systems: the SuZan project

Authors:
Ron Knott;Paul Krause
Affiliations:
-;-
Venue:
The unified computation laboratory
Year:
1992

Citing 0
Cited 3

Automating first-order relational logic

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Towards quality requirements via animated formal specifications

Annals of Software Engineering
Constraint animation using an object-oriented declarative language

ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference

Quantified Score

Hi-index	0.00

Visualization

Abstract