A General Framework for Modular Implementations of Modular System Specifications

Authors:
Michel Bidoit;Rolf Hennicker
Affiliations:
-;-
Venue:
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1993

Citing 0
Cited 3

Architectural Specifications in CASL

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Global Development via Local Observational Construction Steps

MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Observational interpretation of casl specifications

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.01

Visualization

Abstract