Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/16672
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Madeira, Alexandre | pt |
dc.contributor.author | Neves, Renato | pt |
dc.contributor.author | Barbosa, Luís S. | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2017-01-20T11:57:37Z | - |
dc.date.available | 2018-07-20T14:00:57Z | - |
dc.date.issued | 2016-12-15 | - |
dc.identifier.issn | 0167-6423 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/16672 | - |
dc.description.abstract | Reconfigurability, understood as the ability of a system to behave differently in different modes of operation and commute between them along its lifetime, is a cross-cutting concern in modern Software Engineering. This paper introduces a specification method for reconfigurable software based on a global transition structure to capture the system’s reconfiguration space, and a local specification of each operation mode in whatever logic (equational, first-order, partial, fuzzy, probabilistic, etc.) is found expressive enough for handling its requirements. In the method these two levels are not only made explicit and juxtaposed, but formally interrelated. The key to achieve such a goal is a systematic process of hybridisation of logics through which the relationship between the local and global levels of a specification becomes internalised in the logic itself. | pt |
dc.language.iso | eng | pt |
dc.publisher | Elsevier | pt |
dc.relation | PEst-OE/MAT/UI4106/2013 | pt |
dc.relation | POCI-01-0145-FEDER-016692 | pt |
dc.relation | SFRH/BPD/103004/2014 | pt |
dc.relation | SFRH/BD/52234/2013 | pt |
dc.relation | EU FP7 Marie Curie PIRSESGA-2012-318986 | pt |
dc.rights | openAccess | por |
dc.subject | Software specification | pt |
dc.subject | Reconfigurable systems | pt |
dc.subject | Hybrid logic | pt |
dc.title | A method for rigorous design of reconfigurable systems | pt |
dc.type | article | pt |
dc.peerreviewed | yes | pt |
ua.distribution | international | pt |
degois.publication.firstPage | 50 | pt |
degois.publication.issue | Part 1 | pt |
degois.publication.lastPage | 76 | pt |
degois.publication.title | Science of Computer Programming | pt |
degois.publication.volume | 132 | pt |
dc.date.embargo | 2017-12-15T11:00:00Z | - |
dc.identifier.doi | 10.1016/j.scico.2016.05.001 | pt |
Appears in Collections: | CIDMA - Artigos AGG - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
MNBMRevPlain.pdf | Documento principal | 732.14 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.