The foundations of program verification
The foundations of program verification
Software engineering concepts
Programming in Prolog
Tree-oriented interactive processng with an application to theorem-proving
Proceedings of the second conference on Software development tools, techniques, and alternatives
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
The operational versus the conventional approach to software development
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Art of Software Testing
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Maintained and constructor attributes
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
The SAGA project: A system for software development
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The life cycle: a debate over alternate models
ACM SIGSOFT Software Engineering Notes
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
Another look at software design methodology
ACM SIGSOFT Software Engineering Notes
Introduction of a formal technique into a software development environment: early observations
ACM SIGSOFT Software Engineering Notes
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
ICSE '88 Proceedings of the 10th international conference on Software engineering
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Specification and verification of network managers for large internets
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
IEEE Transactions on Software Engineering
ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |