Software Construction by Stepwise Feature Introduction-Reference-Cited by-同舟云学术

Software Construction by Stepwise Feature Introduction

Published:2002 Issue: Volume: Page:162-183
ISSN:0302-9743
Container-title:ZB 2002:Formal Specification and Development in Z and B
language:
Short-container-title:

Author:

Back Ralph-Johan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45648-1_9

Reference18 articles.

1. R.J. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Centre Tracts. Mathematical Centre, Amsterdam, 1980.

2. R.J. Back. A calculusof refinementsfor program derivations. Acta Informatica, 25:593–624, 1988.

3. .R.J. Back. Refinement diagrams. J. M. Morris and R. C. Shaw, editors, 4th Refinement Workshop, pages125–137, Cambridge, UK, January 1991. Springer-Verlag.

4. R.J. Back, L. Milovanov, I. Porres-Paltor and V. Preoteasa. A Case Study in Extreme Programming and Stepwise Feature Introduction. TUCS Technical Report, in preparation.

5. R.J. Back, L. Milovanov and V. Preoteasa. Testing layered software. TUCS Technical Report, in preparation.

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

1. Systematic Construction of Critical Embedded Systems Using Event-B;Communications in Computer and Information Science;2018

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

3. Using Stepwise Feature Introduction in Practice: An Experience Report;Rapid Integration of Software Engineering Techniques;2006

4. A Workbench to Experiment on New Model Engineering Applications;Lecture Notes in Computer Science;2003

5. Refactoring by Transformation;Electronic Notes in Theoretical Computer Science;2002-11