How to make algebraic specifications more understandable: an experiment with the Pluss specification language

Authors:
M. Bidoit;M.-C. Gaudel;A. Mauboussin
Affiliations:
Univ. de Paris-Sud, Marcoussis, France;Univ. de Paris-Sud, Marcoussis, France;Univ. Pierre et Marie Curie, Paris, France
Venue:
Science of Computer Programming
Year:
1989

Citing 0
Cited 2

Mixing abstract and concrete modules: specification, development and prototyping

ICSE '90 Proceedings of the 12th international conference on Software engineering
Formal specification techniques (extended abstract)

ICSE '94 Proceedings of the 16th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract