Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90282| Título: | Structured specification of paraconsistent transition systems |
| Autor(es): | Cunha, Juliana Madeira, Alexandre Barbosa, L. S. |
| Palavras-chave: | Paraconsistency Algebraic specification |
| Data: | 2023 |
| Editora: | Springer, Cham |
| Revista: | Lecture Notes in Computer Science |
| Citação: | Cunha, J., Madeira, A., Barbosa, L.S. (2023). Structured Specification of Paraconsistent Transition Systems. In: Hojjat, H., Ábrahám, E. (eds) Fundamentals of Software Engineering. FSEN 2023. Lecture Notes in Computer Science, vol 14155 . Springer, Cham. https://doi.org/10.1007/978-3-031-42441-0_1 |
| Resumo(s): | This paper sets the basis for a compositional and structured approach to the specification of paraconsistent transitions systems, framed as an institution. The latter and theirs logics were previously introduced in [CMB22] to deal with scenarios of inconsistency in which several requirements are on stake, either reinforcing or contradicting each other. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/90282 |
| ISBN: | 978-3-031-42440-3 |
| e-ISBN: | 978-3-031-42441-0 |
| DOI: | 10.1007/978-3-031-42441-0_1 |
| ISSN: | 0302-9743 |
| Versão da editora: | https://link.springer.com/chapter/10.1007/978-3-031-42441-0_1 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| FSEN23.pdf | 248,36 kB | Adobe PDF | Ver/Abrir |
