DocumentCode
3021741
Title
When Even the Interface Evolves...
Author
Madeira, Alexandre ; Neves, Rui ; Martins, Manuel A. ; Barbosa, Luis S.
fYear
2013
fDate
1-3 July 2013
Firstpage
79
Lastpage
82
Abstract
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.
Keywords
formal specification; user interfaces; formal approach; reconfigurable systems; specification; user interfaces; Algebra; Context; Electronic mail; Encoding; Equations; Mathematical model; Silicon;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on
Conference_Location
Birmingham
Type
conf
DOI
10.1109/TASE.2013.19
Filename
6597881
Link To Document