Publisher
Springer Berlin Heidelberg
Reference123 articles.
1. Abowd, G., Allen, R., Garlan, D.: Using style to understand descriptions of software architecture. SIGSOFT Software Engineering Notes 18(5), 9–20 (1993)
2. Abowd, G.D., Allen, R., Garlan, D.: Formalizing style to understand descriptions of software architecture. ACM Transactions on Software Engineering and Methodology 4(4), 319–364 (1995)
3. Abrial, J.-R., Lee, M.K.O., Neilson, D.S.D.S., Scharbach, P.N., Sorensen, I.H.: The B-method (software development). In: Prehn, S., Toetenel, W.J. (eds.) VDM 1991. LNCS, vol. 552. Springer, Heidelberg (1991)
4. Abrial, J.-R.: The B Book. Cambridge University Press, Cambridge (1996)
5. Abrial, J.R.: The B Tool (Abstract), vol. 29, pp. 86–87 (September 1988)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献