%0 Conference Paper
%B 7th IEEE Symposium on Theoretical Aspects of Software Engineering - TASE
%D 2013
%T When even the interface evolves
%A Alexandre Madeira
%A Renato Neves
%A M. Martins
%A Luis Soares Barbosa
%E Hei Wang
%E Richard Banach
%C Birmingham, UK
%I IEEE Computer Society
%P 79-82
%R http://dx.doi.org/10.1109/TASE.2013.19
%X <p>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.</p>
%8 July
%> https://haslab.uminho.pt/sites/default/files/lsb/files/tase2013.pdf