Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
A debugger for concurrent programs
Software—Practice & Experience
The C++ programming language
Abstraction and specification in program development
Abstraction and specification in program development
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Programming pearls
The Z notation: a reference manual
The Z notation: a reference manual
Analyzing patterns of message passing
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Debugging heterogeneous distributed systems using event-based models of behavior
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Event-based debugging of object/action programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
The mach exception handling facility
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Data path debugging: data-oriented debugging for a concurrent programming language
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
PROCOL: a parallel object language with protocols
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Writing correct software with Eiffel
Dr. Dobb's Journal
Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
Programmers use slices when debugging
Communications of the ACM
Software Engineering
Object-Oriented Software Construction
Object-Oriented Software Construction
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Generalized path expressions: A high level debugging mechanism (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Shuffle Automat: A Formal Model for Behavior Recognition in Distributed
Shuffle Automat: A Formal Model for Behavior Recognition in Distributed
Adaptability and portability of symbolic debuggers
Adaptability and portability of symbolic debuggers
Exception handling in object-oriented systems
ACM SIGPLAN OOPS Messenger
DROL: an object-oriented programming language for distributed real-time systems
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A fully object-oriented exception handling system: rationale and smalltalk implementation
Advances in exception handling techniques
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Hi-index | 0.00 |
As object oriented techniques enable the fabrication of ever more sophisticated systems, the need grows for a mechanism to ensure the consistent and 'correct' behaviour of each object at run-time. We describe a new, in-source specification mechanism, Message Pattern Specifications (MPS), to directly satisfy this need in a succinct, orthogonal and disciplined manner. Targeted for use in parallel object oriented systems, MPS allows programmers to enunciate the 'legal' patterns of run-time behaviour in which their objects may engage. Furthermore, it supports the definition of methods for object recovery or graceful failure in case these specifications are violated during execution.