Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. J.R. Abrial (1982). On constructing large software systems. In: J. van Leeuwen (ed.): Algorithms, Software, Architecture, Information Processing 92, Vol. I, 103–119.
2. F.L. Bauer und H. Wössner (1982). Algorithmic Language and Program Development, Berlin: Springer.
3. M. v. d. Beeck (1994). A comparison of state charts variants. In: H. Langmaack, W.-P. de Roever und J. Vytopil (eds.): Formal Techniques in Real Time and Fault-Tolerant Systems. Lecture Notes in Computer Science 863, 128–148.
4. D. Björner, H. Langmaack und C.A.R. Hoare (1992). Provably Correct Systems. ProCoS I Final Delivery.
5. G. Booch (1991). Object Oriented Design with Applications. Benjamin Cummings, Redwood City, CA.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献