Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z
Material type:
ArticleDescription: p. 977-989
In:
Congreso Argentino de Ciencias de la Computación (8º : 2002 : Buenos Aires) - Workshop de Procesamiento Distribuido y Paralelo (3er : 2002 : Buenos Aires) - Universidad de Buenos Aires - Workshop de Tecnología Informática Aplicada en Educación (1er : 2002 : Buenos Aires) - Workshop de Agentes y Sistemas Inteligentes (3er : 2002 : Buenos Aires) - Loiseau, Irene - Escuela Internacional de Informática CACIC (6ª : 2002 : Buenos Aires) - Ateneo de Profesores Universitarios de Computación (10º : 2002 : Buenos Aires) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Encuentro de Aplicaciones de Internet2 (2º : 2002 : Buenos Aires) CACIC 2002 [CD-ROM]
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca de la Facultad de Informática | CD 232 (Browse shelf(Opens below)) | Recurso en Línea |