Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo
| dc.contributor.advisor | Milanez, Alysson Filgueira | |
| dc.contributor.author | Marques, Caio Alberto Nunes | |
| dc.coverage.spatial | Pau dos Ferros | |
| dc.date.accessioned | 2025-02-11T17:24:19Z | |
| dc.date.available | 2025-02-11T17:24:19Z | |
| dc.date.issued | 2024-07-29 | |
| dc.description.abstract | Este artigo apresenta uma Revisão de Escopo (RE) que visa identificar quais são as principais linguagens e ferramentas utilizadas na especificação formal de software. A RE foi realizada em quatro fontes de busca (ACM Digital Library, IEEE Xplore, Scopus e Web of Science), utilizando uma string de busca e critérios de inclusão e exclusão. Após a realização das etapas definidas no protocolo, 736 trabalhos foram retornados na primeira etapa, 194 na segunda etapa, 74 na terceira e 17 foram selecionados para a etapa IV, onde foram analisados e tiveram suas informações extraídas, realizando a verificação de todos os critérios pré-definidos. Mediante os resultados apresentados, foi possível identificar as principais linguagens e ferramentas utilizadas na especificação formal de software. Os resultados revelaram que a utilização de linguagens formais, ferramentas de verificação e simulação são eficazes na garantia da implementação correta de requisitos de segurança e na detecção de erros em especificações. Além disso, são discutidos desafios enfrentados pelas abordagens tradicionais de especificação formal, como a necessidade de habilidades especializadas e a complexidade dos modelos resultantes. Este artigo ressalta a importância de tornar as ferramentas de especificação formal mais acessíveis e simplificadas, a fim de ampliar a adoção e eficácia dessas abordagens. | |
| dc.description.abstract2 | This article presents a Scoping Review (SR) aimed at identifying the main languages and tools used in formal software specification. The SR was conducted in four search sources (ACM Digital Library, IEEE Xplore, Scopus, and Web of Science), using a search string and inclusion and exclusion criteria. After completing the protocol-defined stages, 736 works were retrieved in the first stage, 194 in the second stage, 74 in the third, and 17 were selected for stage IV, where they were analyzed and their information extracted, performing verification of all predefined criteria. Through the presented results, it was possible to identify the main languages and tools used in formal software specification. The results revealed that the use of formal languages, verification tools, and simulation are effective in ensuring the correct implementation of security requirements and in error detection in specifications. Additionally, challenges faced by traditional formal specification approaches are discussed, such as the need for specialized skills and the complexity of resulting models. This article highlights the importance of making formal specification tools more accessible and simplified to broaden the adoption and effectiveness of these approaches. | |
| dc.description.physical | 14 f. | |
| dc.format.mimetype | ||
| dc.identifier.bibliographicCitation | MARQUES, Caio Alberto Nunes. Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo. 14 f. Pau dos Ferros-RN, 2024. | |
| dc.identifier.uri | https://repositorio.ufersa.edu.br/handle/prefix/12369 | |
| dc.language.iso | pt_BR | |
| dc.publisher.center | Centro Multidisciplinar de Pau dos Ferros - CMPF | |
| dc.publisher.country | Brasil | |
| dc.publisher.initials | UFERSA | |
| dc.publisher.institution | Universidade Federal Rural do Semi-Árido | |
| dc.relation.uri | http://dx.doi.org/10.18265/2447-9187a2024id8404 | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights.holder | UFERSA | |
| dc.rights.license | Attribution-ShareAlike 3.0 Brazil | en |
| dc.rights.uri | http://creativecommons.org/licenses/by-sa/3.0/br/ | |
| dc.subject.cnpq | CIENCIAS EXATAS E DA TERRA::TECNOLOGIA DA INFORMACAO | |
| dc.subject.keyword | Especificação de software | |
| dc.subject.keyword | Especificação formal | |
| dc.subject.keyword | Verificação formal | |
| dc.title | Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo | |
| dc.type | info:eu-repo/semantics/bachelorThesis |