caa a22 4500 463187180 CHVBK 20180406164857.0 cr unu---uuuuu 170326e20070401xx s 000 0 eng 10.1007/s10472-007-9055-4 doi (NATIONALLICENCE)springer-10.1007/s10472-007-9055-4 Category localization semantics for specification refinements [Elektronische Daten] [Jerzy Tomasik, Jerzy Weyman] We describe the theory of refinements of specifications based on localizations of categories. The approach allows us to enlarge the family of refinements (i.e. specification morphisms) of the category Spec - the category of first order theories (specifications) of multi-sorted algebras. We prove that the class of specification morphisms in the category Spec can be enriched by the class of all interpretations of theories from Spec in all definitional extensions of theories of multi-sorted algebras. It provides a guide for finding a path leading from a given specification to a specification which is a provably correct code in a programming language (like C++, Lisp, Java). Springer Science+Business Media B.V., 2007 Category localization nationallicence Specification refinements nationallicence Specware nationallicence Fusion nationallicence Tomasik Jerzy LLAIC1, Université Clermont 1, BP 86, 63172, Aubière cedex, France aut Weyman Jerzy Department of Mathematics, Northeastern University, 360 Huntington Avenue, 02115, Boston, MA, USA aut Annals of Mathematics and Artificial Intelligence Springer Netherlands 49/1-4(2007-04-01), 253-263 1012-2443 49:1-4<253 2007 49 10472 https://doi.org/10.1007/s10472-007-9055-4 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10472-007-9055-4 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Tomasik Jerzy LLAIC1, Université Clermont 1, BP 86, 63172, Aubière cedex, France aut NATIONALLICENCE 700 1- Weyman Jerzy Department of Mathematics, Northeastern University, 360 Huntington Avenue, 02115, Boston, MA, USA aut NATIONALLICENCE 773 0- Annals of Mathematics and Artificial Intelligence Springer Netherlands 49/1-4(2007-04-01), 253-263 1012-2443 49:1-4<253 2007 49 10472 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer