IEEE Transactions on Software Engineering
On the use of formal methods in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Principles of information systems analysis and design
Principles of information systems analysis and design
Design using software engineering principles: overview of an educational program
ICSE '85 Proceedings of the 8th international conference on Software engineering
Some Properties of Predicate Transformers
Journal of the ACM (JACM)
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Structured Analysis and System Specification
Structured Analysis and System Specification
Structured programming
Designing Software for Ease of Extension and Contraction
IEEE Transactions on Software Engineering
Abstraction Techniques in Modern Programming Languages
IEEE Software
System quality through structured programming
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
ACM Transactions on Software Engineering and Methodology (TOSEM)
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
Cleanroom software engineering for zero-defect software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Turning points in software development
IBM Systems Journal
Ada box structures: starting with objects
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
CSC '91 Proceedings of the 19th annual conference on Computer Science
Towards a General Component Model for Web-Based Applications
Annals of Software Engineering
Requirements Definition for Survivable Network Systems
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Using box structures for definition of requirements specifications
IBM Systems Journal
Implementing tool support for box structures
IBM Systems Journal
Box-structured methods for systems development with objects
IBM Systems Journal
Proposal and Basic Research for a Learning Model “RPRaS” for Novice Programming
Proceedings of the 2007 conference on Supporting Learning Flow through Integrative Technologies
| Hi-index | 0.00 |