Towards CASE tools for prototyping Z specifications

Publisher Website

30 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/case.1993.634817

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Functional programming, formal specification, and rapid prototyping
IEEE Transactions on Software Engineering, 1986