<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">M. Martins</style></author><author><style face="normal" font="default" size="100%">Alexandre Madeira</style></author><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Dang Van Hung</style></author><author><style face="normal" font="default" size="100%">Padmanabhan Krishnan</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Refinement via interpretation</style></title><secondary-title><style face="normal" font="default" size="100%">7th IEEE International Conference on Software Engineering and Formal Methods - SEFM  </style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year><pub-dates><date><style  face="normal" font="default" size="100%">November</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/lsb/files/sefm09-mmba2009.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">IEEE Computer Society Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Hanoi, Vietnam</style></pub-location><pages><style face="normal" font="default" size="100%">250–259</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>