A Development Model: Application to Z Specifications

Authors:
Robert Darimont;Jeanine Souquières
Affiliations:
-;-
Venue:
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
Year:
1993

Citing 0
Cited 3

A language-independent approach to specification construction

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A Guided Tour through the ICARUS Project

ACM SIGSOFT Software Engineering Notes
A "Coming and Going" Approach to Specification Construction: A Scenario

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design

Quantified Score

Hi-index	0.00

Visualization

Abstract