(Extended  Home/Search
Context
Related
| cs.man.ac.uk/~bana...Mondex.Short.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/~banach/some.pubs... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Richard Banach , Michael Poppleton Czeslaw Jeske and Susan Stepney Department of Computer Science, University of Manchester, Manchester M13 9PL, UK, fbanach,cjg@cs.man.ac.uk Department of Electronics and Computer Science, University of Southampton, Highfield, Southampton SO17 1BJ, UK, mrp@ecs.soton.ac.uk Department of Computer Science, University of York, Heslington, York YO10 5DD, UK, susan.stepney@cs.york.ac.uk Abstract. Some of the success stories of model based... (Update)
Active bibliography (related documents): More All
4.2: Retrenchment and the Mondex Electronic Purse (Extended.. - Banach, Jeske, Stepney (Correct)
2.6: Retrenching the Purse: The Balance Enquiry Quandary, and.. - Banach, al. (2006) (Correct)
0.5: Requirements Validation by Lifting Retrenchments in B - Michael Poppleton School (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ ed-retrenchment,
author = "Exte Nd Ed",
title = "Retrenchment and the Mondex Electronic Purse",
url = "citeseer.ist.psu.edu/764709.html" }
Citations (may not include all citations):689 Systematic Software Development using VDM - Jones - 1990
616 Notation: A Reference Manual (context) - Spivey - 1992
406 Design Patterns (context) - Gamma, Helm et al. - 1995
254 Book: Assigning Programs to Meanings (context) - Abrial - 1996
64 Programming Language (context) - Gurevich, Huggins et al. - 1993
43 Java and the Java Virtual Machine: Definition (context) - Stark, Schmidt et al. - 2000
40 The WAM -- Definition and Compiler Correctness - Borger, Rosenzweig - 1994
36 Refinement and Proof (context) - Woodcock, Davies et al. - 1996
32 Retrenchment: An engineering variation on refinement - Banach, Poppleton - 1998
22 frames and postconditions: a comparison of the vdm and b not.. (context) - Bicarregui, Ritchie - 1993
19 Information Technology Security Evaluation Criteria (context) - Trade - 1991
18 Imperial College Press (context) - Lano, Haughton et al. - 1996
17 data refinement: Pushing the state of the art in industrial .. (context) - Stepney, Cooper et al. - 1998
13 A Method for High Level System Design and Analysis (context) - Borger, Stark et al. - 2003
13 Formal Aspects of Computing (context) - Borger, refinement - 2003
12 Retrenching partial requirements into system definitions: A .. - Banach, Poppleton - 2003
11 Formal Aspects of Computing (context) - Banach, Poppleton et al. - 1999
11 Engineering and theoretical underpinnings of retrenchment - Banach, Poppleton - 2002
10 An electronic purse: Specification (context) - Stepney, Cooper et al. - 2000
7 Verification of ASM refinements using generalized forward si.. (context) - Schellhorn - 2001
6 New horizons in formal methods (context) - Stepney - 2001
6 Formal methods for industrial products (context) - Stepney, Cooper
6 Type System and Semantics: International Standard (context) - IEC, Technology et al. - 2002
5 Meteor: An industrial success in formal development (context) - Behm, Desforges et al.
5 Palgrave Press (context) - Schneider - 2001
3 Object-Oriented Software Engineering: Using UML (context) - Bruegge - 2003
3 UCL Press/ Pitman Publishing (context) - Dawes, Reference - 1991
3 Asm refinement and generalisations of forward simulation in .. (context) - Schellhorn - 2005
3 Specification Case Studies in RAISE (context) - Van and, George et al. - 2002
2 Object-Oriented Software Development in Java: Principles (context) - Jia - 1999
2 The RAISE Method Manual (context) - Group - 1995
Documents on the same site (http://www.cs.man.ac.uk/~banach/some.pubs/): More
Approaching the Formal Design and Development of.. - Banach, Jeske.. (Correct)
Structuring Retrenchments in the small with B - Poppleton, Banach (2002) (Correct)
Retrenching the Purse: The Balance Enquiry Quandary, and.. - Banach, al. (2006) (Correct)
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