Abstraction-based software development
Communications of the ACM
Synchronization primitives for a multiprocessor: a formal specification
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference 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
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
The Effect of Data Abstraction on Loop Programming Techniques
IEEE Transactions on Software Engineering
Software Size Estimation of Object-Oriented Systems
IEEE Transactions on Software Engineering
Understanding object-oriented: a unifying paradigm
Communications of the ACM
Lessons from the design of the Eiffel libraries
Communications of the ACM
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
An object-oriented model of software configuration management
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Copying and Swapping: Influences on the Design of Reusable Software Components
IEEE Transactions on Software Engineering
Islands: aliasing protection in object-oriented languages
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
Object-oriented system modeling with OMT
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
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
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
The Dutch national flag problem revisited as an introductory abstract data type
ACM SIGCSE Bulletin
How to make AXIOM into a scratchpad
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
LCLint: a tool for using specifications to check code
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Experiences building data structure artifacts in Ada9X
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
Subtypes vs. where clauses: constraining parametric polymorphism
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Modular reasoning in the presence of subclassing
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
All of us are smarter than any of us: wait-free hierarchies are not robust
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
OOSPEC: an executable object-oriented specification language
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings
Teaching data structure design patterns
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Historical perspectives on the computing curriculum
ACM SIGCUE Outlook - Special issue: ITiCSE '97 working group papers
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Communication Metrics for Software Development
IEEE Transactions on Software Engineering
Language concepts using dynamic and distributed objects
CSC '91 Proceedings of the 19th annual conference on Computer Science
Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Javiva: a tool for visualizing and validating student-written Java programs
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Using types to analyze and optimize object-oriented programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Class-is-type is inadequate for object reuse
ACM SIGPLAN Notices
Using data groups to specify and check side effects
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Behavioural subtyping using invariants and constraints
Formal methods for distributed processing
Data abstraction and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
A type system for higher-order modules
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Test-Case Generation from Prolog-Based Specifications
IEEE Software
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Verifying Definite Iteration Over Data Structures
IEEE Transactions on Software Engineering
Formal Foundations for Object-Oriented Data Modeling
IEEE Transactions on Knowledge and Data Engineering
Programming methodology
The reflective practitioner perspective in software engineering education
Journal of Systems and Software
On testing of classes in object-oriented programs
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
ACM SIGSOFT Software Engineering Notes
Declaring and checking non-null types in an object-oriented language
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
SPI: an open interface integrating highly interactive electronic CAD tools
EURO-DAC '90 Proceedings of the conference on European design automation
A taxonomy of inheritance semantics
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Methods of teaching a computer science course for prospective teachers
ACM SIGCSE Bulletin
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Modular verification of multithreaded programs
Theoretical Computer Science
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Class development and testing in the small
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
The role of abstraction in software engineering
Proceedings of the 28th international conference on Software engineering
Efficient software model checking of data structure properties
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Towards imperative modules: reasoning about invariants and sharing of mutable state
Theoretical Computer Science - Components and objects
Observational purity and encapsulation
Theoretical Computer Science
Hi-index | 0.05 |