An introduction to the IPSE 2.5 project

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 13-24
https://doi.org/10.1007/3-540-53452-0_29

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

A support system for formal reasoning: Requirements and status
Lecture Notes in Computer Science, 1988
Rapid prototyping
ACM SIGSOFT Software Engineering Notes, 1982