Author:
Lau Kung-Kiu,Ornaghi Mario
Publisher
Springer Berlin Heidelberg
Reference58 articles.
1. J.R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. R.J. Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie-Mellon University, 1997.
3. J.-M. Andreoli and R. Pareschi. Linear objects: logical processes with built-in inheritance. New Generation Comp., 9:445–473, 1991.
4. E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors. Algebraic Foundations of Systems Specifications. Springer, 1999.
5. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison-Wesley, 1998.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献