Author:
Hennicker Rolf,Nickl Friederike
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. G. Bernot, M. Bidoit: Proving the correctness of algebraically specified software: modularity and observability issues. Proc. AMAST '91, 2nd International Conference on Algebraic Methodology of Software Technology, Technical Report of the University of Iowa, 1991.
2. J. Cramer, W. Fey, M. Goedicke, M. Große-Rhode: Towards a formally based component description language — a foundation for reuse. Structured Programming, Vol. 2, No. 12, Springer Verlag, 1991.
3. H. Ehrig, B. Mahr: Fundamentals of algebraic specification 1. EATCS Monographs on Theor. Comp. Science, Vol. 6, Springer Verlag, 1985.
4. H. Ehrig, B. Mahr: Fundamentals of algebraic specification 2. EATCS Monographs on Theor. Comp. Science, Vol. 21, Springer Verlag, 1990.
5. M. C. Gaudel, Th. Moineau: A theory of software reusability. In: H. Ganzinger (ed.): Proc. ESOP '88. Lecture Notes in Computer Science 300, 115–130, 1988.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Toward Component-Oriented Formal Software Development: An Algebraic Approach;Radical Innovations of Software and Systems Engineering in the Future;2004
2. Architectural Specifications in CASL;Algebraic Methodology and Software Technology;1998
3. Observational Logic;Algebraic Methodology and Software Technology;1998
4. Pushouts of order-sorted algebraic specifications;Algebraic Methodology and Software Technology;1996