Russel L. Winder

Learn More
The 1970s saw the development of exception handling systems dedicated to procedural programming (Goodenough, 1975; Ichbiah, 1979; Liskov & Snyder, 1979; Mitchell, Maybury & Sweet, 1979). Such tools and the associated mechanisms were designed to enhance software reliability, reusability, readability and debugging. The 1980s saw the emergence(More)
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(More)