Author:
Astesiano Egidio,Bidoit Michel,Kirchner Hélène,Krieg-Brückner Bernd,Mosses Peter D.,Sannella Donald,Tarlecki Andrzej
Subject
General Computer Science,Theoretical Computer Science
Reference76 articles.
1. A formal basis for architectural connection;Allen;ACM Trans. Software Eng. Methodol.,1997
2. D. Aspinall, Type systems for modular programs and specifications, Ph.D. Thesis, Dept. of Computer Science, Univ. of Edinburgh, 1997.
3. E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foundations of System Specification, IFIP State-of-the-Art Reports, Springer, Berlin, 1999.
4. E. Astesiano, G. Reggio, UML as heterogeneous multiview notation: strategies for a formal foundation, in: Proc. OOPSLA’98 Workshop ‘Formalizing UML. Why? How?, Technical report, Universidade Nova de Lisboa, 1998.
5. S. Autexier, D. Hutter, H. Mantel, A. Schairer, INKA 5.0: a logic voyager, in: Proc. 16th Internat. Conf. on Automated Deduction, Trento, Lecture Notes in Artificial Intelligence, Vol. 1632, Springer, Berlin, 1999, pp. 207–211 (for the INKA system, see also URL: http://www.dfki.de/vse/systems/inka/).
Cited by
117 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献