Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10455/3056| Título: | Congu, Checking Java Classes Against Property-Driven Algebraic Specifications |
| Autor: | Abreu, João Caldeira, Alexandre Lopes, Antónia Nunes, Isabel Reis, Luís S. Vasconcelos, Vasco T. |
| Data: | Mar-2007 |
| Editora: | Department of Informatics, University of Lisbon |
| Relatório da Série N.º: | di-fcul-tr-07-7 |
| 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 |
| URI: | http://hdl.handle.net/10451/14164 http://repositorio.ul.pt/handle/10455/3056 |
| 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.
