Journal: | Computación y sistemas |
Database: | PERIÓDICA |
System number: | 000171265 |
ISSN: | 1405-5546 |
Authors: | Katrib, Miguel1 Fernández, Damián |
Institutions: | 1Universidad de La Habana, Departamento de Ciencia de la Computación, La Habana. Cuba |
Year: | 1998 |
Season: | Jul-Sep |
Volumen: | 2 |
Number: | 1 |
Pages: | 35-48 |
Country: | México |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Matemáticas, Ciencias de la computación |
Keyword: | Matemáticas aplicadas, Programación orientada a objetos, Aserciones, Java, Diseño por contratos, Cuantificadores lógicos |
Keyword: | Mathematics, Computer science, Applied mathematics, Object oriented programming, Assertions, Java, Design by contract, Logical quantifiers |
Document request | |