|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Refinement via Interpretation
Hanoi, Vietnam
November 23-November 27
ISBN: 978-0-7695-3870-9
| ASCII Text | x | ||
| Manuel A. Martins, Alexandre Madeira, L. S. Barbosa, "Refinement via Interpretation," Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp. 250-259, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/SEFM.2009.35, author = {Manuel A. Martins and Alexandre Madeira and L. S. Barbosa}, title = {Refinement via Interpretation}, journal ={Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)}, volume = {0}, year = {2009}, isbn = {978-0-7695-3870-9}, pages = {250-259}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.35}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) TI - Refinement via Interpretation SN - 978-0-7695-3870-9 SP250 EP259 A1 - Manuel A. Martins, A1 - Alexandre Madeira, A1 - L. S. Barbosa, PY - 2009 KW - Algebraic specification KW - refinement KW - logic interpretation VL - 0 JA - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.35
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 recent work on logic interpretation. The concept is discussed, its theory partially developed, its use illustrated through a number of examples.
Index Terms:
Algebraic specification, refinement, logic interpretation
Citation:
Manuel A. Martins, Alexandre Madeira, L. S. Barbosa, "Refinement via Interpretation," sefm, pp.250-259, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Usage of this product signifies your acceptance of the Terms of Use.