Lightweight and static verification of uml executable models
Tesis doctoral de Elena Planas Hortal Executable models play a key role in many development methods (such as mdd and […]
Tesis doctoral de Antoni Olivé Ramon
Información academica Antoni Olivé Ramon. Tesis donde Antoni Olivé Ramon ha sido autor, director o parte del tribunal.
A filtering engine for large conceptual schemas
Tesis doctoral de Antonio Villegas Niño Nowadays, the need for representation and conceptualization of real world information has dramatically increased.
Validation of mappings between data schemas
Tesis doctoral de Guillem Rull Fort In this thesis, we present a new approach to the validation of mappings between
Construcción de recursos linguísticos basados en ontologías con control de relaciones semánticas
Tesis doctoral de Francisco José álvarez Montero Datos académicos de la tesis doctoral «Construcción de recursos linguísticos basados en
An object-oriented approach to the translation between mof metaschemas
Tesis doctoral de Ruth Raventos Pagés Since the 1960s, many formal languages have been developed in order to allow software
«an approach to component-based performance engineering using an object-oriented performance modelling technique»
Tesis doctoral de Nuncio Nicolo Savino Vázquez Esta investigación presenta la definición formal de opmt (objet-oriented performance modelling technique) así
Oasis como marco conceptual para la evolución del software
Tesis doctoral de José Angel Carsí Cubel En la tesis se aborda el problema de la modificación de las aplicaciones
Pruning and refactoring ontologies in the development of conceptual schemas of information systems
Tesis doctoral de Jordi Conesa Caralt In the information systems (is) development, one of the main difficulties is the creation
Incremental integrity checking in uml/ocl conceptual schemas
Tesis doctoral de Jordi Cabot Sagrera Integrity constraints play a fundamental role in the definition of conceptual schemas (css) of
Tratamiento de relaciones de asociación en entornos de producción automática de código
Tesis doctoral de Manuela Albert Albiol Actualmente una de las aproximaciones más relevantes para el desarrollo de software es el