Communications of the ACM
Paragon: Novel uses of type hierarchies for data abstraction
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fable: A programming-language solution to IC process automation problems
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
An introduction to the construction and verification of Alphard programs
ICSE '76 Proceedings of the 2nd international conference on Software engineering
ACM '77 Proceedings of the 1977 annual conference
IEEE Transactions on Software Engineering
A software development environment for law-governed systems
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ER model clustering as an aid for user communication and documentation in database design
Communications of the ACM
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
A Case Study in Structure Specification: a Grid Description of Scribe
IEEE Transactions on Software Engineering
The C Information Abstraction System
IEEE Transactions on Software Engineering
Extending Objects to Support Multiple Interfaces and Access Control
IEEE Transactions on Software Engineering
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
Multiple representation of abstract data types and reuse of realizations
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
A mechanism for specifying the structure of large, layered, object-oriented programs
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Hi-index | 0.02 |