Abstract
Project Graphs are acyclic directed graphs and define plans for the development of software.
Project Graphs are discussed from several Project Management and Software Engineering points of view, from the point of view of Programming Methodology, and also of Theoretical Computer Science — ie. from more informal, pragmatic viewpoints, via formal methodological viewpoints, to a strictly theoretical viewpoint.
Finally the architecture of a Software Development System is outlined. Within a single, unifying frame it embodies the management, engineering and science of software development.
The work reported in this paper is partially funded by the CEC ESPRIT RAISE project, partially by the Danish Technology Board, and partially by the Danish Research Foundation for the Natural Sciences (SNF) grant no. 5.17.5.1.13. (FTU)
The words Ada, CHILL and occam are either trademarked, registered, or protected by respectively the US Department of Defence Ada Joint Programme Office, the Intl. Telecommunications Unions' CCITT, and INMOS Ltd., UK.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
9. References
Programming Languages: Formal Development of Interpreters and Compilers, in: Proceedings, Intl. Comp. Symp., ICS'77, North Holland Publ., pp. 1–21.
— & Ole N. Oest: The DDC Ada Compiler Development Project, in: "Towards a Formal Description of Ada", Springer Lecture Notes, vol. 98, Nov. 1980, pp. 1–19.
— & S.Prehn: Software Engineering Aspects of VDM, in: "Theory and Practice of Software Technology", Proc., Intl. Seminar, Capri, May 1982, (ed. Ferrari, Bolognani, Goguen) North-Holland Publ., 1983.
— & W.Scherlis: Inferential Programming, in: Proc. IFIP Congress '83, North-Holland Publ., 1983.
Meta-Programs, in: Proc., Workshop on "Combining Specification", Nyborg, Denmark, May 1984, (eds. Bjlrner & Prehn) Springer NATO Advanced Systems Institute Series, forthcoming 1986.
Bibliography
Dines Bjørner: DiProGS: A Distributed Project Graph System, Dept. of Comp. Sci., Techn. Univ. of Denmark, 20. April 1986, 22 pages.
N.Nørgaard, I.Lysgaard Andersen, S.Aa Fly Hansen, M. Jess, and M. Frendorf: A Formal Specification of Project Graphs, Dept. of Comp. Sci., Techn. Univ. of Denmark, July 1986, 61 pages.
S.Lynenskjold (et al.): A Project Graph Resource Allocator, Dept. of Comp. Sci., Techn. Univ. of Denmark, Fall 1986.
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). Project Graphs and meta-programs towards a theory of Software development. In: Habermann, A.N., Montanari, U. (eds) System Development and Ada. Lecture Notes in Computer Science, vol 275. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18341-8_19
Download citation
DOI: https://doi.org/10.1007/3-540-18341-8_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18341-9
Online ISBN: 978-3-540-47885-0
eBook Packages: Springer Book Archive