@inproceedings{4a931399d1ef4145a6a5b894512c109d,
title = "Structured and formal methods: An investigative framework",
abstract = "A framework based on an integration of structured and formal methods is proposed for an investigation of the correctness and appropriateness of structured design methods in current use. Integrating structured and formal methods enables the assignment of a formal semantics to various structured methods and permits a formal examination of their appropriateness. The approach is illustrated by means of a case study — investigating how Jackson System Development can be modified and made more appropriate for use in the design of real-time systems. The approach is valid for any structured design method provided that an appropriate formal specification language is chosen.",
author = "Hinchey, {Michael G.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; International Workshop on Studies of Software Design held in conjunction with International Conference on Software Engineering, ICSE 1993 ; Conference date: 17-05-1993 Through 18-05-1993",
year = "1996",
doi = "10.1007/bfb0030527",
language = "English",
isbn = "9783540612858",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "151--163",
editor = "Lamb, {David Alex}",
booktitle = "Studies of Software Design - ICSE 1993 Workshop, Selected Papers",
}