A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools

Authors:
R. N. Shutt
Affiliations:
-
Venue:
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Year:
1989

Citing 0
Cited 1

Message pattern specifications: a new technique for handling errors in parallel object oriented systems

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications

Quantified Score

Hi-index	0.01

Visualization

Abstract