Refinement by interpretation in a general setting

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 In...

Full description

Bibliographic Details
Main Author: Martins, Manuel A. (author)
Other Authors: Madeira, A. (author), Barbosa, L.S. (author)
Format: article
Language:eng
Published: 1000
Subjects:
Algebraic specification
Refinement
Consequence relations
Deductive systems
Equational specifications
Morphisms
Software development process
Formal methods
Logic interpretation
Online Access:http://hdl.handle.net/10773/6955
Country:Portugal
Oai:oai:ria.ua.pt:10773/6955

Internet

http://hdl.handle.net/10773/6955

Similar Items