Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern-Reference-Cited by-同舟云学术

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern

Published:2005 Issue: Volume: Page:382-398
ISSN:0302-9743
Container-title:FM 2005: Formal Methods
language:
Short-container-title:

Author:

Banach Richard,Poppleton Michael,Jeske Czeslaw,Stepney Susan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11526841_26.pdf

Reference21 articles.

1. Banach, R.: Maximally abstract retrenchments. In: Proc. IEEE ICFEM 2000, York, August 2000, pp. 133–142. IEEE Computer Society Press, Los Alamitos (2000)

2. Banach, R., Jeske, C., Poppleton, M.: Composition mechanisms for retrenchment (2004) (submitted), http://www.cs.man.ac.uk/~banach/some.pubs/Retrench.Composition.pdf.

3. Lecture Notes in Computer Science;R. Banach,1998

4. Banach, R., Poppleton, M.: Sharp retrenchment, modulated refinement and simulation. Formal Aspects of Computing 11, 498–540 (1999)

5. Banach, R., Poppleton, M.: Retrenching partial requirements into system definitions: A simple feature interaction case study. Requirements Engineering Journal 8(2), 22 (2003)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Retrenchment and refinement interworking: the tower theorems;Mathematical Structures in Computer Science;2014-12-02

2. Further Generalisations;Refinement in Z and Object-Z;2014

3. Atomicity failure and the retrenchment atomicity pattern;Formal Aspects of Computing;2013-05

4. Simple feature engineering via neat default retrenchments;The Journal of Logic and Algebraic Programming;2011-11

5. Retrenchment for Event-B: UseCase-wise development and Rodin integration;Formal Aspects of Computing;2011-01