|
|||||
|
|
Towards object-oriented conceptual modeling |
|
| Authors: | Cristina Sernadas,Jos Fiadeiro |
| Affiliation: | a Departmento de Matemática, Instituto Superior Técnico, Av. Rovisco Pais, 1096, Lisboa, Portugal b Department of Computing, Imperial College of Science, Technology and Medicine, London SW7, UK |
| Abstract: | |
| Keywords: | Object-oriented conceptual modeling proof-theoretic semantics categorical semantics object behavior safety liveliness object interaction |
| 本文献已被 ScienceDirect 等数据库收录！ | |