Property transformation under specification change-Reference-Cited by-同舟云学术

Property transformation under specification change

Published:2010-12-11 Issue:1 Volume:5 Page:1-13
ISSN:1673-7350
Container-title:Frontiers of Computer Science in China
language:en
Short-container-title:Front. Comput. Sci. China

Author:

Fu Zheng,Smith Graeme

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s11704-010-0112-5.pdf

Reference21 articles.

1. Woodcock J C P, Davies J. Using Z: Specification, Refinement, and Proof. New Jersey: Prentice Hall, 1996

2. Morgan C C. Programming From Specifications. New Jersey: Prentice Hall, 1990

3. de Roever W P, Engelhardt K. Data Refinement: Model-Oriented Proof Methods and Their Comparison. New York: Cambridge University Press, 1998

4. Swartout W, Balzer R. On the inevitable intertwining of specification and implementation. Communications of the ACM, 1982, 25(7): 438–440

5. van Schouwen A J, Parnas D, Madey J. Documentation of requirements for computer systems. In: Proceedings of 1st IEEE Symposium on Requirements Engineering. 1993, 198–207

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

1. Design of Automated Visual Inspection System for Beverage Industry Production Line;Traitement du Signal;2021-04-30

2. A Framework for Flexible Program Evolution and Verification of Distributed Systems;Communications in Computer and Information Science;2020

3. A Flexible Framework for Program Evolution and Verification;Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development;2019

4. Phase Selective Oscillations in Two Noise Driven Synaptically Coupled Spiking Neurons;International Journal of Bifurcation and Chaos;2015-06-30