Publicação
Specifying and Monitoring Java Classes
| Resumo: | These lecture notes describe an Abstract Data Type approach to the specification of data structures meant to be implemented and monitored in an object-oriented imperative language. |
|---|---|
| Autores principais: | Lopes, Antonia |
| Outros Autores: | Nunes, Isabel; Vasconcelos, Vasco T. |
| Assunto: | Specification Abstract Data Types Java classes |
| Ano: | 2009 |
| País: | Portugal |
| Tipo de documento: | outro |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Universidade de Lisboa |
| Idioma: | inglês |
| Origem: | Repositório da Universidade de Lisboa |
| Resumo: | These lecture notes describe an Abstract Data Type approach to the specification of data structures meant to be implemented and monitored in an object-oriented imperative language. |
|---|