Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/26529
Título: | Boilerplates for reconfigurable systems: a language and its semantics |
Autor(es): | Madeira, Alexandre Martins, Manuel A. Barbosa, L. S. |
Palavras-chave: | Software reconfiguration Boilerplates |
Data: | 2013 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Resumo(s): | Boilerplates are simplified, normative English texts,intended to capture software requirements in a controlled way. This paper proposes a pallet of boilerplates as a requirements modelling language for reconfigurable systems, i.e., systems structured in different modes of execution among which they can dynamically commute. The language semantics is given as an hybrid logic, in an institutional setting. The mild use made of the theory of institutions, which, to a large extent, may be hidden from the working software engineer, not only provides a rigorous and generic semantics, but also paves the way to tool-supported validation. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/26529 |
ISBN: | 9783642409219 |
DOI: | 10.1007/978-3-642-40922-6_6 |
ISSN: | 0302-9743 |
Versão da editora: | http://dx.doi.org/10.1007/978-3-642-40922-6_6 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
MMB13-sblp.pdf | pdf (preprint) | 418,58 kB | Adobe PDF | Ver/Abrir |