Author:
Plat Nico,Katwijk Jan,Pronk Kees
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Mike Adler. An Algebra for Data Flow Diagram Process Decomposition. IEEE Transaction on Software Engineering, 14(2):169–183, February 1988.
2. Bruno Alabiso. Transformation of Data Flow Analysis Models to Object Oriented Design. In OOPSLA '88 Proceedings, pages 335–353, ACM, November 1988.
3. D. Bjørner, C.B. Jones. Formal Specification & Software Development. Series in Computer Science, Prentice-Hall International, 1982.
4. P.D. Bruza, Th. P. van der Weide. The Semantics of Data Flow Diagrams. Technical Report 89-16, University of Nijmegen, The Netherlands, October 1989.
5. BSI IST/5/-/50. VDM Specification Language: Proto-Standard. March 1991.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献