Congu, Checking Java Classes Against Property-Driven Algebraic Specifications

Detalhes bibliográficos
Autor(a) principal: Abreu, João
Data de Publicação: 2007
Outros Autores: Caldeira, Alexandre, Lopes, Antónia, Nunes, Isabel, Reis, Luís S., Vasconcelos, Vasco T.
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14164
Resumo: Congu is a tool that supports the checking of Java classes against property-driven algebraic specifications. This document presents the specification, languages, the tool usage, and its implementation, version 1.32. Chapter 1 describes the two specification languages: the language of abstract data types specifications, and that for defining refinement mappings between these specifications and Java classes. Chapter 2 explains how to install and use Congu tool. And finally, Chapter 3 presents the implementation details of the tool
id RCAP_21238c90d7f0034266c7fb930f0adcc1
oai_identifier_str oai:repositorio.ul.pt:10451/14164
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 Congu, Checking Java Classes Against Property-Driven Algebraic SpecificationsCongu is a tool that supports the checking of Java classes against property-driven algebraic specifications. This document presents the specification, languages, the tool usage, and its implementation, version 1.32. Chapter 1 describes the two specification languages: the language of abstract data types specifications, and that for defining refinement mappings between these specifications and Java classes. Chapter 2 explains how to install and use Congu tool. And finally, Chapter 3 presents the implementation details of the toolDepartment of Informatics, University of LisbonRepositório da Universidade de LisboaAbreu, JoãoCaldeira, AlexandreLopes, AntóniaNunes, IsabelReis, Luís S.Vasconcelos, Vasco T.2009-02-10T13:12:04Z2007-032007-03-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10451/14164porinfo: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:RCAAP2023-11-08T15:59:48Zoai:repositorio.ul.pt:10451/14164Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:00.279784Repositó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 Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
title Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
spellingShingle Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
Abreu, João
title_short Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
title_full Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
title_fullStr Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
title_full_unstemmed Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
title_sort Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
author Abreu, João
author_facet Abreu, João
Caldeira, Alexandre
Lopes, Antónia
Nunes, Isabel
Reis, Luís S.
Vasconcelos, Vasco T.
author_role author
author2 Caldeira, Alexandre
Lopes, Antónia
Nunes, Isabel
Reis, Luís S.
Vasconcelos, Vasco T.
author2_role author
author
author
author
author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Abreu, João
Caldeira, Alexandre
Lopes, Antónia
Nunes, Isabel
Reis, Luís S.
Vasconcelos, Vasco T.
description Congu is a tool that supports the checking of Java classes against property-driven algebraic specifications. This document presents the specification, languages, the tool usage, and its implementation, version 1.32. Chapter 1 describes the two specification languages: the language of abstract data types specifications, and that for defining refinement mappings between these specifications and Java classes. Chapter 2 explains how to install and use Congu tool. And finally, Chapter 3 presents the implementation details of the tool
publishDate 2007
dc.date.none.fl_str_mv 2007-03
2007-03-01T00:00:00Z
2009-02-10T13:12:04Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14164
url http://hdl.handle.net/10451/14164
dc.language.iso.fl_str_mv por
language por
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.publisher.none.fl_str_mv Department of Informatics, University of Lisbon
publisher.none.fl_str_mv Department of Informatics, University of Lisbon
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_ 1799134258582781952

Registros relacionados