Constructing Specifications and Modules in a KZ-Doctrine (1994)

Cached

Download Links

by Gillian Hill
Venue:Theory and Formal Methods '94, pages 219--236. Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Imperial College Press, distributed by World Scientific Publishing Co. ISBN
Citations:3 - 3 self

Documents Related by Co-Citation

6 Category Theory for the Configuration of Complex Systems – Gillian Hill - 1993
2 A Logical Approach to System Construction – Gillian Hill - 1995
4 A Language for System Configuration – Gillian Hill - 1993
8 Monads for which structures are adjoint to units (version 3 – A Kock - 1995
9 Systems Construction and Analysis: A – N Fenton, G Hill - 1993
25 Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems 6 – K C Wong, W M Wonham - 1995
56 Anticipatory Systems. Philosophical, Mathematical and Methodological Foundations – R Rosen - 1985
1 Commutative diagrams and tensor calculus in Riemann spaces – R Mignani, E Pessa, G Resconi - 1993
1 A general system logical theory and its applications to task description for intelligent robots – A A Petrov, G Resconi, R Faglia, P L Magnani - 1994
4 A general system logical theory – G Resconi, M Jessel - 1986
28 Abstract Systems Theory – M D Mesarovic, Y Takahara - 1989
5 Inductive completion of monoidal categories and infinite net computations – V Sassone, J Meseguer, U Montanari - 1994
2 Algebraic Specification and Formal Methods for Program Development: What are the Real Problems – D Sannella, A Tarlecki - 1993
65 Universal Realization, Persistent Interconnection and Implementation of Abstract Modules – Joseph Goguen, Jose Meseguer - 1982
3 Algebraic theory of module specifications with constraints – H Ehrig, F Papisi-Presicce, W Fey, E K Blum - 1986
2 Algebraic concepts for software configuration development – H Ehrig, W Fey, H Hansen, M Lowe, D Jacobs - 1988
2 Algebraic specification of modules and configuration families – H Ehrig, W Fey, H Hansen, M Lowe, D Jacobs, A Langen - 1988
74 Reusability: The case for object-oriented design – B MEYER - 1987
8 An Introduction to Formal Specifications of Data Abstractions – B Liskov, S Zilles - 1979