Systematic software development using VDM
Systematic software development using VDM
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
ICSE '89 Proceedings of the 11th international conference on Software engineering
Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Principles of Program Design
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A new model of program dependences for reverse engineering
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
The design of whole-program analysis tools
Proceedings of the 18th international conference on Software engineering
Program analysis for software engineering: new applications, new requirements, new tools
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Verifiable partial specifications for logic programming
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
Compile-Time Debugging of C Programs Working on Trees
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Implementation Techniques for Efficient Data-Flow Analysis of Large Programs
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Software faults: a quantifiable definition
Advances in Engineering Software
Tool support for iterative software process modeling
Information and Software Technology
| Hi-index | 0.00 |