@conference {MNMB13-tase,
	title = {When even the interface evolves},
	booktitle = {7th IEEE Symposium on Theoretical Aspects of Software Engineering - TASE},
	year = {2013},
	month = {July},
	pages = {79-82},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Birmingham, UK},
	abstract = {<p>This paper extends the authors{\textquoteright} 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>
},
	doi = {http://dx.doi.org/10.1109/TASE.2013.19},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/tase2013.pdf},
	author = {Alexandre Madeira and Renato Neves and M. Martins and Luis Soares Barbosa},
	editor = {Hei Wang and Richard Banach}
}