Handbook of theoretical computer science (vol. B)
Handbook of logic in computer science (vol. 1)
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
IEEE Transactions on Software Engineering
Behavioural reasoning for conditional equations
Mathematical Structures in Computer Science
Observational Refinement Process
Electronic Notes in Theoretical Computer Science (ENTCS)
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Hybrid specification of reactive systems: an institutional approach
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
A Coalgebraic Perspective on Logical Interpretations
Studia Logica
Hi-index | 0.00 |
Refinement by interpretation replaces signature morphisms by logic interpretations as a means to translate specifications and witness refinements. The approach was recently introduced by the authors [M. A. Martins, A. Madeira, and L. S. Barbosa. Refinement via interpretation. In Proc. of 7th IEEE Int. Conf. on Software Engineering and Formal Methods, Hanoi, Vietnam, November 2009. IEEE Computer Society Press] in the context of equational specifications, in order to capture a number of relevant transformations in software design, reuse and adaptation. This paper goes a step forward and discusses the generalization of this idea to deductive systems of arbitrary dimension. This makes possible, for example, to refine sentential into equational specifications and the latter into modal ones. Moreover, the restriction to logics with finitary consequence relations is dropped which results in increased flexibility along the software development process.