Paper Info
Title
Structured analysis—formal design, using stream and object oriented formal specifications
Abstract
- 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.
Year
DOI
Venue
1990
10.1145/99569.99830
Conference proceedings on Formal methods in software development
Keywords
DocType
Volume
formal specification,structured analysis,formal design,formal method,software development,software specification,vienna development method,specification language,object oriented,structure analysis
Conference
15
Issue
ISSN
ISBN
4
0163-5948
0-89791-415-5
Citations 
PageRank 
References 
4
0.49
16
Authors
3
Name
Order
Citations
PageRank
Hans Toetenel17610.54
Jan van Katwijk214731.70
Nico Plat38715.63