Author:
Bernot Gilles,Coudert Sophie,Le Gall Pascale
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. E. Astesiano and M. Cerioli. Relationships between logical frameworks. In LNCS, editor, Recent Trends in Data Type Specification, volume 655, pages 101–126, Dourdan, 1992.
2. G. Bernot and M. Bidoit. Proving the correctness of algebraically specified software modularity and observability issues. In Proc. of AMAST-2, Second Conference of Algebraic Methodology and Software Technology, May 1991. Iowa City, Iowa, USA.
3. G. Bernot, M. Bidoit, and T. Knapik. Observational approaches to algebraic specifications: A comparative study. Acta Informatica, 31:651–671, 1994.
4. E.K. Blum, H. Ehrig, and F. Parisi-Pressicce. Algebraic specification of modules and their basic inter-connections. Journal of Computer Systems Science, 34:293–339, 1987.
5. M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and abstractor specifications. Science of Computer Programming, 25:149–186, 1995.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Distributed Ontology, Model and Specification Language – DOL;Recent Trends in Algebraic Development Techniques;2017
2. A Heterogeneous Approach to UML Semantics;Concurrency, Graphs and Models;2008
3. View Consistency in Software Development;Radical Innovations of Software and Systems Engineering in the Future;2004
4. A Reuse-Oriented Framework for Hierarchical Specifications;Algebraic Methodology and Software Technology;2000
5. Hierarchical Heterogeneous Specifications;Recent Trends in Algebraic Development Techniques;1999