Essential systems analysis
Mechanical proofs about computer programs
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
A comparison of techniques for the specification of external system behavior
Communications of the ACM
A taxonomy for the early stages of the software development life cycle
Journal of Systems and Software
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Structured Analysis and System Specification
Structured Analysis and System Specification
The role of process models in software and systems development and evolution
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Hi-index | 48.22 |