Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
CLU reference manual
Analysis and Design in MSG.84: Formalizing Functional Specifications
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Software engineering with Ada
Abstraction and specification in program development
Abstraction and specification in program development
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data types and software validation
Communications of the ACM
Communications of the ACM
The Science of Programming
Software Engineering Economics
Software Engineering Economics
An Introduction to Software Quality Control
An Introduction to Software Quality Control
A Discipline of Programming
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program Flow Analysis: Theory and Application
Program Flow Analysis: Theory and Application
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
On the management of computer aided design databases (object-oriented, refinements, alternatives, generalization, data model)
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
A knowledge structure for reusing abstract data types
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
The use of lexical affinities in requirements extraction
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Software Cost Reduction Methods in Practice
IEEE Transactions on Software Engineering
WSC '96 Proceedings of the 28th conference on Winter simulation
A framework for distributed object-oriented multimodeling and simulation
Proceedings of the 29th conference on Winter simulation
A Computer-Aided Prototyping System
IEEE Software
An Introduction to the Specification Language SPEC
IEEE Software
A Data/Knowledge Paradigm for the Modeling and Design of Operations Support Systems
IEEE Transactions on Knowledge and Data Engineering
Abstraction, Levels of Detail, and Hierarchies in Map Series
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Automatic prototype generating via optimized object model
ACM SIGAda Ada Letters
Hi-index | 48.22 |
A five-year experience with abstraction-based software-development techniques in the university environment indicates that the investment required to support the paradigm in practice is returned in terms of greater ability to control complexity in large projects—provided there exists a set of software tools sufficient to support the approach.