A general framework for modular implementations of modular system specifications-Reference-Cited by-同舟云学术

A general framework for modular implementations of modular system specifications

Published:1993 Issue: Volume: Page:199-214
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bidoit Michel,Hennicker Rolf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56610-4_65.pdf

Reference18 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, Techn. Report of the University of Iowa, 1991.

2. M. Bidoit: The stratified loose approach: A generalization of initial and loose semantics. In: Recent Trends in Data Type Specification, Selected Papers of the 5th Workshop on Specifications of Abstract Data Types, Lecture Notes in Computer Science 332, 1–22, 1987.

3. M. Bidoit: Pluss, un language pour le développement de spécifications algébriques modulaires. These d'État, Université Paris-Sud, 1989.

4. R. Diaconescu, J. Goguen, P. Stefaneas: Logical support for modularisation. To appear in: Proc. of Workshop on Logical Frameworks, Edinburgh, 1991.

5. H. Ehrig, P. Pepper, F. Orejas: On recent trends in algebraic specification. Proc. ICALP '89, Lecture Notes in Computer Science 372, 263–288, 1989.

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. Global Development via Local Observational Construction Steps;Lecture Notes in Computer Science;2002

3. Architectural Specifications in CASL;Algebraic Methodology and Software Technology;1998

4. An object-oriented airport: Specification and refinement in Maude;Recent Trends in Data Type Specification;1995