Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/40552
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Sanchez, Alejandro | por |
dc.contributor.author | Barbosa, L. S. | por |
dc.contributor.author | Madeira, Alexandre Leite Castro | por |
dc.date.accessioned | 2016-02-25T16:35:24Z | - |
dc.date.issued | 2015-02 | - |
dc.identifier.citation | Sanchez, A., Barbosa, L. S., & Madeira, A. (2015) Modelling and verifying smell-free architectures with the archery language. Vol. 8938. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 147-163). | - |
dc.identifier.isbn | 978-3-319-15200-4 | por |
dc.identifier.isbn | 978-3-319-15201-1 | por |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/40552 | - |
dc.description.abstract | Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach. | por |
dc.description.sponsorship | This work was funded by ERDF - European Regional Development Fund, through the COMPETE Programme, and by National Funds through FCT within project FCOMP-01-0124-FEDER-028923. | por |
dc.language.iso | eng | por |
dc.publisher | Springer Verlag | por |
dc.rights | restrictedAccess | por |
dc.title | Modelling and verifying smell-free architectures with the Archery language | por |
dc.type | conferencePaper | por |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007/978-3-319-15201-1_10 | por |
dc.comments | 2190 | por |
oaire.citationStartPage | 147 | por |
oaire.citationEndPage | 163 | por |
oaire.citationTitle | Software Engineering and Formal Methods | por |
oaire.citationVolume | 8938 | por |
dc.identifier.doi | 10.1007/978-3-319-15201-1_10 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | Software Engineering and Formal Methods | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2190.pdf Acesso restrito! | 482,71 kB | Adobe PDF | Ver/Abrir |