CLU reference manual
Abstraction and specification in program development
Abstraction and specification in program development
Distrbution and Abstract Types in Emerald
IEEE Transactions on Software Engineering - Special issue on distributed systems
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
1st international workshop on Conditional Term Rewriting Systems
The Z notation: a reference manual
The Z notation: a reference manual
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Development and implementation of an object-oriented DBMS
Readings in object-oriented database systems
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 sybtypes in object-oriented languages (draft)
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Inheritance in Object-Oriented Z
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
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
Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
An object-oriented refinement calculus with modular reasoning
An object-oriented refinement calculus with modular reasoning
Integrated object-oriented testing and development processes
Communications of the ACM
Inheritance of interface specifications (extended abstract)
IDL '94 Proceedings of the workshop on Interface definition languages
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modular reasoning in the presence of subclassing
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Forcing behavioral subtyping through specification inheritance
Proceedings of the 18th international conference on Software engineering
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
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Component Specifications for Robotics Integration
Autonomous Robots
Compositional Specification Calculus for Information Systems Development
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Enhancing the Object Constraint Language for More Expressive Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A taxonomy of inheritance semantics
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Class development and testing in the small
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Designing and managing evolving systems using a MAS product line approach
Science of Computer Programming
Synchronization as a Special Case of Access Control
Electronic Notes in Theoretical Computer Science (ENTCS)
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Building the core architecture of a NASA multiagent system product line
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Method for data models integration in the common paradigm
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
| Hi-index | 0.02 |