R Banach and M Poppleton. Engineering and theoretical underpinnings of retrenchment. Submitted. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Safety Requirements and Fault Trees using - Retrenchment Banach And Self-citation (Banach) (Correct)
No context found.
R Banach and M Poppleton. Engineering and theoretical underpinnings of retrenchment. Submitted.
Retrenchment and the B-Toolkit - Richard Banach And Self-citation (Banach) (Correct)
No context found.
R. Banach and M. Poppleton. Engineering and theoretical underpinnings of retrenchment. Submitted, 2001.
Retrenchment, and the Generation of Fault Trees - For Static Dynamic Self-citation (Banach) (Correct)
No context found.
R. Banach and M. Poppleton. Engineering and theoretical underpinnings of retrenchment. Submitted.
Requirements Validation by Lifting Retrenchments in B - Michael Poppleton School Self-citation (Banach Poppleton) (Correct)
No context found.
R. Banach and M. Poppleton. Engineering and theoretical underpinnings of retrenchment. submitted, http://www.cs.man.ac.uk/banach/some.pubs/ Retrench. Underpin.pdf, 2002.
Composition Mechanisms for Retrenchment - Banach, Jeske, Poppleton (2004) Self-citation (Banach Poppleton Jeske) (Correct)
No context found.
Banach R., Poppleton M., Jeske C., Stepney S. (2005); Engineering and Theoretical Underpinnings of Retrenchment. http://www.cs.man.ac.uk/~banach/some.pubs/Retrench. Underpin.ps.gz submitted.
Composing and Promoting Retrenchments in Z - Richard Banach Michael Self-citation (Banach Poppleton) (Correct)
No context found.
R. Banach and M. Poppleton. Engineering and theoretical underpinnings of retrenchment. submitted, http://www.cs.man.ac.uk/banach/some.pubs/ Retrench.Underpin.pdf, 2002.
Retrenching the Purse: The Balance Enquiry Quandary, and.. - Banach, al. (2006) Self-citation (Banach Poppleton) (Correct)
No context found.
Banach, R., Poppleton, M.: Engineering and Theoretical Underpinnings of Retrenchment, 2002, Submitted, http://www.cs.man.ac.uk/~banach/some.pubs/Retrench.Underpin.pdf.
Approaching the Formal Design and Development of.. - Banach, Jeske.. Self-citation (Banach Poppleton) (Correct)
No context found.
R Banach and M Poppleton. Engineering and theoretical underpinnings of retrenchment. Submitted.
Retrenching Partial Requirements into System Definitions: A.. - Banach, Poppleton (2003) (1 citation) Self-citation (Banach Poppleton) (Correct)
No context found.
Banach R., Poppleton M. (2001); Engineering and Theoretical Underpinnings of Retrenchment. submitted. http://www.cs.man.ac.uk/~banach/some.pubs/Retrench. Underpin.ps.gz
Retrenchment and the Mondex Electronic Purse - Exte Nd Ed (Correct)
No context found.
R. Banach and M. Poppleton. Engineering and theoretical underpinnings of retrenchment. submitted, http://www.cs.man.ac.uk/banach/some.pubs/Retrench.Underpin.pdf, 2002.
Retrenchment and the Mondex Electronic Purse (Extended.. - Banach, Jeske, Stepney (Correct)
No context found.
R. Banach and M. Poppleton. Engineering and theoretical underpinnings of retrenchment. submitted, http://www.cs.man.ac.uk/banach/some.pubs/Retrench.Underpin.pdf, 2002.
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