Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Mathematical Centre Tracts;R.J. Back,1980
2. R.J. Back, L. Milovanov, I. Porres-Paltor and V. Preoteasa. A Experiment on Extreme Programming and Stepwise Feature Introduction. TUCS Technical Report no 451 (
http://www.tucs.fi/Research/Series/techreports/
), 2002.
3. Lect Notes Comput Sci;R.J. Back,2002
4. R.J. Back and K. Sere. Superposition Refinement of Reactive Systems. Formal Aspects of Computing, 8(3):324–346, 1996.
5. R.J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Based Testing and Refinement in MDA Based Development;Advances in Design and Specification Languages for SoCs