Exception handling in a cooperative object-oriented approach (1999)

View PDF

Download Links

by Rogério De Lemos , Er Romanovsky
Venue:Proceedings of the 2nd IEEE International Symposium on ObjectOriented Real-Time Distributed Computing. Saint
Citations:11 - 5 self

Active Bibliography

599 A Survey of Rollback-Recovery Protocols in Message-Passing Systems – E. N. ( Mootaz) Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson - 1996
541 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
19 Coordinated Atomic Actions in Modelling Objects Cooperation – Rogério De Lemos, Er Romanovsky - 1997
378 Value-Based Software Engineering – Barry W. Boehm - 2003
7 Safety analysis of an evolving software architecture – Rogério De Lemos - 2000
312 Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS – Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke - 1995
279 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
259 A Really Temporal Logic – R Alur, T A Henzinger - 1994
231 Automated Consistency Checking of Requirements Specifications – Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw - 1996