A categorical approach to structuring and promoting Z specifications

In this paper, we study a formalisation of specification structuring mechanisms used in Z. These mechanisms are traditionally understood as syntactic transformations. In contrast, we present a characterisation of Z structuring mechanisms which takes into account the semantic counterpart of their typ...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Castro, P.F., Aguirre, N., López Pombo, C.G., Maibaum, T.
Formato: SER
Materias:
Abstract notions
Category theory
Formal foundation
Formalisation
Logical system
Property preservation
Schema operators
Semantic relationships
Structuring mechanisms
Syntactic transformations
Z specifications
Semantics
Syntactics
Computer software
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v7684LNCS_n_p73_Castro
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares