Parameterising (Algebraic) Specifications on Diagrams

Authors:
T. Dimitrakos
Affiliations:
-
Venue:
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Year:
1998

Citing 0
Cited 3

Revisiting the Categorical Approach to Systems

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Structured theories and institutions

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract