Structured analysis—formal design, using stream and object oriented formal specifications
Hans Toetenel, J. van Katwijk, Nico Plat · ACM SIGSOFT Software Engineering Notes · 1990
Keyphruses: (i) the role of rigorous software specification and design with the Vienna Development Method within the SA / SD traject of software development, (ii) extension of VDM-SL, (the VDM Specification Language) by means of a object otiozted structuring mechanism, together with stream oriented properties, to enable stream and object oriented specification.-Relation to Workshop Topics of Interest: the research addresses a specific role for formal methods in large-scale software development and the (mechanized) support for this role for formal methods in particular.