Software development graphs: a unifying concept for software development?
Proc. of the sixth conference on Foundations of software technology and theoretical computer science
Project graphs and meta-programs. Towards a theory of software development
Proc. of the CRAI Workshop on Software Factories and Ada on System development and Ada
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Principles of Program Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Box structured information systems
IBM Systems Journal
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
ICSE '88 Proceedings of the 10th international conference on Software engineering
Recording the reasons for design decisions
ICSE '88 Proceedings of the 10th international conference on Software engineering
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
Specifying Transaction-Based Information Systems with Regular Expressions
IEEE Transactions on Software Engineering
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Hi-index | 0.01 |
We propose a total framework for the software development stages of specification (definition), design and coding. This framework is based on three cornerstones: (a) the concept of software development graphs which specify all the stages and steps of development; (b) the use of formal methods, in our case VDM, the Vienna Software Development Method, in all stages and steps of development; and (c) the clearly separate rôles of theoretical computer scientists, programmers, software engineers, and development managers in all aspects of software development. Thus not only programming is formalised (ie. programs considered formal objects), but also development, its engineering and management (ie. the entire programming itself is also considered a formal object about which to reason).