Author:
Tran-Jørgensen Peter W. V.,Larsen Peter Gorm,Leavens Gary T.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference39 articles.
1. Meyer, B.: Object-Oriented Software Construction. Prentice-Hall International, Upper Saddle River (1988)
2. Bjørner, D., Jones, C. (eds.): The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science, vol. 61. Springer (1978)
3. Fitzgerald, J., Larsen, P.G.: Modelling Systems—Practical Tools and Techniques in Software Development, 2nd edn. Cambridge University Press, Cambridge (2009). doi: 10.1017/CBO9780511626975
4. Fitzgerald, J.S., Larsen, P.G., Verhoef, M.: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering. Wiley (2008)
5. Woodcock, J., Davies, J.: Using Z—Specification, Refinement, and Proof. Prentice Hall International Series in Computer Science. Hertfordshire, UK (1996)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献