Especificació formal de la programació orientada a objectes: un survey
En aquest survey, s'examinen els diversos métodes de formalització de la programació orientada a objectes i se'n fa una comparació i una discussió de tots ells.
| Autor: | |
|---|---|
| Tipo de documento: | relatório científico |
| Data de publicação: | 1995 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositório: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | catalão |
| OAI Identifier: | oai:upcommons.upc.edu:2117/369143 |
| Acesso em linha: | https://hdl.handle.net/2117/369143 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Object-oriented programming (Computer science) Programació orientada a l'objecte (Informàtica) Àrees temàtiques de la UPC::Informàtica |
| Resumo: | En aquest survey, s'examinen els diversos métodes de formalització de la programació orientada a objectes i se'n fa una comparació i una discussió de tots ells. |
|---|