Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10455/3056Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Abreu, João | por |
| dc.contributor.author | Caldeira, Alexandre | por |
| dc.contributor.author | Lopes, Antónia | por |
| dc.contributor.author | Nunes, Isabel | por |
| dc.contributor.author | Reis, Luís S. | por |
| dc.contributor.author | Vasconcelos, Vasco T. | por |
| dc.date.accessioned | 2009-02-10T13:12:04Z | por |
| dc.date.accessioned | 2014-11-14T16:23:56Z | - |
| dc.date.available | 2009-02-10T13:12:04Z | por |
| dc.date.available | 2014-11-14T16:23:56Z | - |
| dc.date.issued | 2007-03 | por |
| dc.identifier.uri | http://hdl.handle.net/10451/14164 | por |
| dc.identifier.uri | http://repositorio.ul.pt/handle/10455/3056 | por |
| dc.description.abstract | 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 | por |
| dc.language.iso | por | por |
| dc.publisher | Department of Informatics, University of Lisbon | por |
| dc.relation.ispartofseries | di-fcul-tr-07-7 | por |
| dc.rights | openAccess | por |
| dc.title | Congu, Checking Java Classes Against Property-Driven Algebraic Specifications | por |
| dc.type | report | por |
| Aparece nas colecções: | FC-DI - Technical Reports | |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.
