Mostra el registre d'ítem simple
Razonamiento sobre Esquemas Conceptuales UML con Operaciones
dc.contributor | Teniente López, Ernest |
dc.contributor.author | Cardona Cardona, Fernando |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.date.accessioned | 2011-07-19T06:49:07Z |
dc.date.available | 2011-07-19T06:49:07Z |
dc.date.issued | 2011-07-07 |
dc.identifier.uri | http://hdl.handle.net/2099.1/12687 |
dc.description.abstract | Castellano: Un esquema estructural especifica la información relevante acerca de un dominio, y un esquema de comportamiento especifica un conjunto de operaciones del sistema y la definición de su efecto sobre la información. El propósito del razonamiento sobre un esquema conceptual con operaciones es comprobar si el esquema se ha especificado correctamente. Podemos determinar si un esquema estructural es satisfactible, es decir, comprobar si existen contradicciones o redundancias, si todas las clases y asociaciones puedan ser instanciadas. Sin embargo un esquema estructural satisfactible no implica necesariamente que el esquema conceptual en conjunto también lo sea. Es decir, si tenemos en cuenta que el esquema de comportamiento es el que define los cambios permitidos sobre el sistema, puede suceder que los eventos de las operaciones no cumplan con las restricciones del esquema estructural. |
dc.language.iso | spa |
dc.publisher | Universitat Politècnica de Catalunya |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Altres llenguatges de programació |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject.lcsh | UML (Computer science) |
dc.subject.lcsh | Object-oriented programming |
dc.subject.other | Esquema conceptual |
dc.subject.other | Validación |
dc.subject.other | Razonamiento |
dc.title | Razonamiento sobre Esquemas Conceptuales UML con Operaciones |
dc.type | Master thesis (pre-Bologna period) |
dc.subject.lemac | UML (Informàtica) |
dc.subject.lemac | Programació orientada a l'objecte (Informàtica) |
dc.identifier.slug | 74738 |
dc.rights.access | Open Access |
dc.date.updated | 2011-07-13T10:41:55Z |
dc.audience.educationlevel | Estudis de primer/segon cicle |
dc.audience.mediator | Facultat d'Informàtica de Barcelona |
dc.audience.degree | ENGINYERIA TÈCNICA D'INFORMÀTICA DE GESTIÓ (Pla 2003) |