Refinement via interpretation

Traditional notions of refinement of algebraic specifications, based on signature morphisms, are often too rigid to capture a number of relevant transformations in the context of software design, reuse and adaptation. This paper proposes an alternative notion of specification refinement, building on...

Full description

Bibliographic Details
Main Author: Martins, Manuel A. (author)
Other Authors: Madeira, A. (author), Barbosa, L. S. (author)
Format: conferencePaper
Language:eng
Published: 2009
Subjects:
Refinement
Algebraic specification
Logic interpretation
Science & Technology
Online Access:http://hdl.handle.net/1822/20279
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/20279

Internet

http://hdl.handle.net/1822/20279

Similar Items