Abstract
In VDM development of software proceeds from specification, via stages of design, to coding. A classical way of illustrating this is by the "waterfall- diagram" of fig.3.
As a planning aid, drawing such simple sequences of boxes as shown in fig. 3. really is of no help. In this paper we shall carefully develop an example, so-called software development graph. Thus from a graph like fig. 3. we shall arrive at a graph like that of fig. 9, which is claimed far more useful.
The meaning of nodes (boxes or vertices) and edges (arrows or arcs) is given relative to VDM, and in four different versions: one each for theoretical computer science, programming methodology, software engineering and management.
Our basic point is the following (see fig. 4.): before actually developing the various components (formulas) of the specifications (nodes s ), before actually developing the design ( dl ) from the specification ( s ), or more concrete design ( d2 ) from more abstract design ( dl ), and before actually developing the various components (formulas) of the designs (see figs. 7-8), etc., we meta-develop the development, that is we decide on a development strategy, we specify which design choices to make (ie. the basic object and operation transformation ideas), and we specify which components our specifications and designs will then consists of.
Our derived point is then the following: even the development of the final, so-called consistent & complete software development graph, will take place as a stepwise development, from that almost meaninglessly expressed by fig. 3, via those of the more and more detailed figs. 4-5-6-7-8, to fig. 9!
The paper is discursive. An appendix will show some of the actual formulas whose construction are being planned by the software meta-development method of this paper.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bjørner, D. (1987). The stepwise development of software development graphs — Meta-programming VDM developments. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_6
Download citation
DOI: https://doi.org/10.1007/3-540-17654-3_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17654-1
Online ISBN: 978-3-540-47740-2
eBook Packages: Springer Book Archive