Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented subsystem specification
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented specifications
Research directions in object-oriented programming
Eiffel: a language and environment for software engineering
Journal of Systems and Software
Structuring for the VDM specification language
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
GSBL: an algebraic specification language based on inheritance
on ECOOP '88 (European Conference on Object-Oriented Programming)
Designing families of data types using exemplars
ACM Transactions on Programming Languages and Systems (TOPLAS)
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
An algebraic model of subtype and inheritance
Advances in database programming languages
Using Larch to Specify Avalon/C++ Objects
IEEE Transactions on Software Engineering
Specification case studies
Formal specification of object systems
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
Interfaces and specifications for the Smalltalk-80 collection classes
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
An axiomatic basis for computer programming
Communications of the ACM
OOZE: An Object Oriented Z Environment
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Specification of Object-Oriented Systems in LOTOS
Proceedings of the First International Conference on Formal Description Techniques
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Semantic analysis of Larch Interface Specifications
Proceedings of the first First International Workshop on Larch
Preliminary Design of Larch/C++
Proceedings of the first First International Workshop on Larch
Object Orientation in Z
Using category theory to design implicit conversions and generic operators
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
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 specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Making specifications complete through models
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Modal logics for reasoning about object-based component composition
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Hi-index | 0.00 |