Richard Banach, Czeslaw Jeske, Simon Fraser, Richard Cross, Michael Poppleton, Susan Stepney, Steven King  Home/Search
Context
Related
| pubs/Retrench.Complex.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: The arguments for using formal techniques in the construction of complex systems are reviewed, and the re nement and retrenchment techniques in particular are summarised. Coarse grained retrenchment, with its capacity to analyse and express system properties at various levels of granularity, is promoted as a laboratory for understanding emergent behaviour of complex systems. (Update)
Active bibliography (related documents): More All
5.5: Safety Requirements and Fault Trees using - Retrenchment Banach And (Correct)
1.0: Composition Mechanisms for Retrenchment - Banach, Jeske, Poppleton (2004) (Correct)
1.0: Retrenchment and the B-Toolkit - Richard Banach And (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ banach-approaching,
author = "Richard Banach and Czeslaw Jeske and Simon Fraser and Richard Cross and
Michael Poppleton and Susan Stepney and Steven King",
title = "Approaching the Formal Design and Development of Complex Systems: The Retrenchment
Position",
url = "citeseer.ist.psu.edu/761961.html" }
Citations (may not include all citations):616 Notation: A Reference Manual (context) - Spivey - 1989
295 Cambridge University Press (context) - Jacky, of - 1997
254 Book: Assigning Programs to Meanings (context) - Abrial - 1996
24 Industrial-Strength Formal Methods in Practice (context) - Bowen, Hinchey - 1999
16 Data Re nement Model-Oriented Proof methods and their Compar.. (context) - de Roever, Engelhardt - 1998
12 Retrenchment and punctured simulation - Banach, Poppleton - 1999
11 An Introduction to Formal Speci cation and Z (context) - Potter, Sinclair et al. - 1996
11 Engineering and theoretical underpinnings of retrenchment - Banach, Poppleton
11 Formal methods and software safety - Bowen, Stavridou - 1992
10 Maximally abstract retrenchments (context) - Banach - 2000
6 Method: An Introduction (context) - Schneider - 2001
6 stronger compositions (context) - Banach, Jeske et al.
6 Formal methods for industrial products (context) - Stepney, Cooper - 2000
5 Minimally and maximally abstract retrenchments (context) - Jeske, Banach - 2002
4 Safety requirements and fault trees using retrenchment (context) - Banach, Cross - 2004
4 Retrenchment and system properties - Banach
3 Retrenchment: An engineering variation on re nement (context) - Banach, Poppleton - 1998
3 Re nement and Proof (context) - Woodcock, Davies et al. - 1996
3 Re nement of state-based concurrent systems (context) - Woodcock, Morgan - 1990
2 International Symposium of Formal Methods Europe (context) - Poppleton, Banach et al. - 2003
2 Springer-Verlag UK (context) - Derrick, Boiten et al. - 2001
2 modulated re nement and punctured simulation (context) - Banach, Poppleton - 1999
2 Complex Systems: from Biology to Computation (context) - Green, Bossomaier - 1993
2 Requirements validation by lifting retrenchments in B - Poppleton, Banach - 2004
2 Program Development by Re nement: Case Studies Using the B-M.. (context) - Sekerinski, Sere - 1998
2 Asia-Paci c Software Engineering Conference (context) - Liu, Adams et al. - 1995
2 Retrenching partial requirements into system de nitions: A s.. (context) - Banach, Poppleton - 2003
1 Reconciling retrenchments and re nements (context) - Jeske, Banach - 2004
1 Performance Evaluation of Complex Systems (context) - Calzarossa, Tucci - 2002
1 Veri cation and Validation of Complex Systems (context) - Wise, Hopkin et al. - 1992
1 High-Integrity System Speci cation and Design (context) - Bowen, Hinchey - 1999
1 Managerial issues for the consideration and use of formal me.. - Stidolph, Whitehead - 2003
1 Idea Group Inc (context) - Complex, Systems et al. - 2001
1 Critical critical systems (context) - Stepney - 2002
Documents on the same site (http://www.cs.man.ac.uk/~banach/some.pubs/): More
Structuring Retrenchments in the small with B - Poppleton, Banach (2002) (Correct)
Retrenching the Purse: The Balance Enquiry Quandary, and.. - Banach, al. (2006) (Correct)
Retrenching the Purse: Finite Exception Logs, and.. - Richard Banach Czeslaw (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