<?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%">Alexandre Madeira</style></author><author><style face="normal" font="default" size="100%">Renato Neves</style></author><author><style face="normal" font="default" size="100%">M. Martins</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%">Hei Wang</style></author><author><style face="normal" font="default" size="100%">Richard Banach</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">When even the interface evolves</style></title><secondary-title><style face="normal" font="default" size="100%">7th IEEE Symposium on Theoretical Aspects of Software Engineering - TASE</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year><pub-dates><date><style  face="normal" font="default" size="100%">July</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/tase2013.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">IEEE Computer Society</style></publisher><pub-location><style face="normal" font="default" size="100%">Birmingham, UK</style></pub-location><pages><style face="normal" font="default" size="100%">79-82</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper extends the authors' previous work on a formal approach to the specification of reconfigurable systems, introduced in [7], in which configurations are taken as local states in a suitable transition structure. The novelty is the explicit consideration that not only the realisation of a service may change from a configuration to another, but also the set of services provided and even their functionality, may themselves vary. In other words, interfaces may evolve, as well.&lt;/p&gt;
</style></abstract></record></records></xml>