A behavioural algebraic framework for modular system design with reuse

Authors:
Rolf Hennicker;Friederike Nickl
Affiliations:
-;-
Venue:
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Year:
1994

Citing 0
Cited 2

Architectural Specifications in CASL

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Observational Logic

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract