Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structured Walkthroughs
Requirements expression and verification aid
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A Modification Request Control System
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A case study in system integration using the Build approach
ACM '79 Proceedings of the 1979 annual conference
Flowchart techniques for structured programming
ACM SIGPLAN Notices
Principles of Program Design
Structured Analysis and System Specification
Structured Analysis and System Specification
HIPO and integrated program design
IBM Systems Journal
Functional testing and design abstractions
Journal of Systems and Software
Generic Lifecycle Support in the ALMA Environment
IEEE Transactions on Software Engineering
Softing software engineering system
Journal of Systems and Software
| Hi-index | 0.00 |