S. Stepney and D. Cooper. Formal methods for industrial products. In Bowen et al. [11], pages 374--393. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Retrenching the Purse: The Balance Enquiry Quandary, and.. - Banach, al. (2006) Self-citation (Stepney) (Correct)
No context found.
Stepney, S., Cooper, D.: Formal Methods for Industrial Products, in: Bowen et al. [26], 374--393.
Approaching the Formal Design and Development of.. - Banach, Jeske.. Self-citation (Stepney) (Correct)
No context found.
Susan Stepney and David Cooper. Formal methods for industrial products. In J P Bowen, S Dunne, A Galloway, and S King, editors, ZB2000: First International Conference of B and Z Users, York, UK, August 2000, volume 1878 of LNCS, pages 374-393. Springer, 2000.
Patterns to Guide Practical Refactoring: Examples.. - Stepney, Polack, Toyn Self-citation (Stepney) (Correct)
No context found.
Susan Stepney and David Cooper. Formal methods for industrial products. In
A Z Patterns Catalogue: I specification and refactorings, v0.1 - Stepney, Polack, Toyn (2003) Self-citation (Stepney) (Correct)
....a desire to make Z more usable by commercial non specialist developers. One of the authors (SS) was a member of Logica UK s Formal Methods Team (LFM) where she worked extensively on large scale commercial specification and proof, including a compiler [Stepney Nabney 2003] an electronic Purse [Stepney et al. 2000]; and a Smart Card Operating System [Stepney Cooper 2003] Stepney 1998] reports We refer to the two main variants of Z thus: as ZRM, for that given in [Spivey 1992b] as ISO Z, for that given in [ISO Z 2002] By Mathematical Toolkit , we mean those well known Z definitions given in [Spivey ....
....global state components may require addition of constraints (a) on the global state, and (b) relating the local instance states; the promoted local operations may a#ect the global state through such constraints. There may also be operations that act on the global state components alone. Example: [Stepney et al. 2000] defines a collection of concrete (ie refined from the abstract) electronic purses. The global state has additional mechanisms to control interoperability of the purses. The extended global state is: conPurse is the global state for the local purses, ConPurse, using identities from the set, ....
[Article contains additional citation context not shown here]
Susan Stepney and David Cooper. Formal methods for industrial products. In [Bowen et al. 2000], pages 374--393.
Retrenchment and the Mondex Electronic Purse - Exte Nd Ed (Correct)
No context found.
S. Stepney and D. Cooper. Formal methods for industrial products. In Bowen et al. [11], pages 374--393.
Retrenchment and the Mondex Electronic Purse (Extended.. - Banach, Jeske, Stepney (Correct)
No context found.
S. Stepney and D. Cooper. Formal methods for industrial products. pages 374--393.
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