Towards a typed linear algebra formal semantics for spreadsheets

Detalhes bibliográficos
Autor(a) principal: Azevedo, Rui Filipe Brito
Data de Publicação: 2023
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/88586
Resumo: Dissertação de mestrado em Informatics Engineering
id RCAP_c3ce1f37bb4fe56290e9774d3e5acca8
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/88586
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Towards a typed linear algebra formal semantics for spreadsheetsFormal methodsMaster’s dissertationSpreadsheetsTyped linear algebra of programmingÁlgebra linear tipada da programaçãoDissertação de mestradoFolhas de cálculoMétodos formaisEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaDissertação de mestrado em Informatics EngineeringThis master dissertation addresses the problem of spreadsheet errors by using typed linear algebra in spreadsheet design. The study builds on previous efforts to solve this issue and presents an approach to improve the quality and reliability of spreadsheet systems. The outcome of this study shows that the adoption of a typed linear algebra approach in spreadsheet design can significantly reduce the risk of errors and improve the reliability of spreadsheet-based systems. The tool developed in this dissertation allows users to derive spreadsheet models in Haskell from formal specifications, which are then translated into a particular spreadsheet format. This process helps to ensure the accuracy and consistency of the generated spreadsheets, as it is based on precise and well typed specifications. Additionally, the use of typed linear algebra in the semantics of spreadsheet functions and constructions such as e.g. running totals provides a solid foundation for the correctness. Overall, the results of this study demonstrate the effectiveness of the typed linear algebra approach in improving the quality and reliability of spreadsheet systems.Esta dissertação de mestrado aborda o problema de erros em folhas de cálculo, utilizando álgebra linear tipada no design de folhas de cálculo. O estudo baseia-se em esforços anteriores para resolver esta questão e apresenta uma abordagem para melhorar a qualidade e a confiabilidade de sistemas de folha de cálculo. Os resultados deste estudo mostram que a introdução de uma abordagem de álgebra linear tipada no design de folhas de cálculo pode reduzir significativamente o risco de erros e melhorar a confiabilidade dos sistemas de folhas de cálculo. A ferramenta desenvolvida nesta dissertação permite que os utilizadores criem especificações em Haskell de folhas de cálculo, que são então traduzidas para uma folha de cálculo correspondente. Este processo ajuda a garantir a precisão e a consistência da folha de cálculo gerada, pois ela é baseada numa especificação precisa e bem definida. Além disso, o uso de álgebra linear tipada na semântica de funções de folhas de cálculo e construções, como totais acumulados, proporciona uma base sólida para a correção destes elementos. Em geral, os resultados deste estudo demonstram a eficácia da abordagem de álgebra linear tipada na melhoria da qualidade e confiabilidade dos sistemas de folhas de cálculo.Oliveira, José Nuno FonsecaUniversidade do MinhoAzevedo, Rui Filipe Brito2023-06-142023-06-14T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/88586eng203501926info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-02-10T01:20:57Zoai:repositorium.sdum.uminho.pt:1822/88586Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T02:37:17.171765Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Towards a typed linear algebra formal semantics for spreadsheets
title Towards a typed linear algebra formal semantics for spreadsheets
spellingShingle Towards a typed linear algebra formal semantics for spreadsheets
Azevedo, Rui Filipe Brito
Formal methods
Master’s dissertation
Spreadsheets
Typed linear algebra of programming
Álgebra linear tipada da programação
Dissertação de mestrado
Folhas de cálculo
Métodos formais
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Towards a typed linear algebra formal semantics for spreadsheets
title_full Towards a typed linear algebra formal semantics for spreadsheets
title_fullStr Towards a typed linear algebra formal semantics for spreadsheets
title_full_unstemmed Towards a typed linear algebra formal semantics for spreadsheets
title_sort Towards a typed linear algebra formal semantics for spreadsheets
author Azevedo, Rui Filipe Brito
author_facet Azevedo, Rui Filipe Brito
author_role author
dc.contributor.none.fl_str_mv Oliveira, José Nuno Fonseca
Universidade do Minho
dc.contributor.author.fl_str_mv Azevedo, Rui Filipe Brito
dc.subject.por.fl_str_mv Formal methods
Master’s dissertation
Spreadsheets
Typed linear algebra of programming
Álgebra linear tipada da programação
Dissertação de mestrado
Folhas de cálculo
Métodos formais
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Formal methods
Master’s dissertation
Spreadsheets
Typed linear algebra of programming
Álgebra linear tipada da programação
Dissertação de mestrado
Folhas de cálculo
Métodos formais
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Dissertação de mestrado em Informatics Engineering
publishDate 2023
dc.date.none.fl_str_mv 2023-06-14
2023-06-14T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/88586
url https://hdl.handle.net/1822/88586
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 203501926
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799137423903424512

Registros relacionados