Janowski, T. and W. Mostowski. Fail-stop software components by pattern matching. UNU/IIST Report #164, The United Nations University, May 1999. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Object-oriented Programming Languages Need Well-founded .. - Findler, Latendresse.. (2001) (1 citation) (Correct)
....and Blum [24] also check contracts at run time, but they are concerned with improving the efficiency of contracts that enforce correctness. They study contracts that probabilistically guarantee correctness. Others have attempted to use contracts to prove programs correct. Janowski and Mostowski [7] add regularexpression contract specifications to components to prove their correctness. Obayashi et al. [18] use ADL to combine specifications with testing to guarantee correctness. Shankar [22] and Owre et al. [19] use PVS which combines model checking with contract specifications to prove ....
Janowski, T. and W. Mostowski. Fail-stop software components by pattern matching. UNU/IIST Report #164, The United Nations University, May 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC