Browsing by Subject "UML (Computer science)"
Now showing items 1-20 of 61
-
A domain model for capturing knowledge of the Lean approach
(OmniaScience, 2019-04)
Article
Open AccessPurpose: The literature offers many definitions of the Lean but it lacks a standard definition that would facilitate its implementation. These definitions are closely related to the specificities of the domain, sector or ... -
Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models
(Springer, 2012)
Conference report
Open AccessIn this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in ... -
An Eclipse plugin for improving the quality of UML conceptual schemas
(Springer, 2012)
Conference lecture
Restricted access - publisher's policyThe development of an information system requires its conceptual schema to be of high quality. Classically, this quality comprises properties such as syntactic and semantic correctness, relevance, and completeness, but ... -
Assignació de responsabilitats a capes usant AndroMDA
(Universitat Politècnica de Catalunya, 2007-01-03)
Master thesis (pre-Bologna period)
Open Access -
Automatic business process model extension to repair constraint violations
(Springer, 2019)
Conference report
Open AccessConsider an artifact-centric business process model, containing both a data model and a process model. When executing the process, it may happen that some of the data constraints from the data model are violated. Bearing ... -
Automatic generation of basic behavior schemas from UML class diagrams
(2010-01-01)
Article
Restricted access - publisher's policyThe specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema consisting of a set of system operations that ... -
Automatic performance model transformation from a human-intuitive to a machine-efficient form
(2009-03-01)
Article
Restricted access - publisher's policyWe address the issue of the development of performance models for programs that may be executed on large-scale computing systems. The commonly used approaches apply non-standard notations for model specification and often ... -
Automatic performance model transformation from UML to C++
(Institute of Electrical and Electronics Engineers (IEEE), 2008)
Conference report
Open AccessWe address the issue of the development of performance models for programs that may be executed on large-scale computing systems. The commonly used approaches apply non-standard notations for model specification and often ... -
Black-box testing automation for embedded Operating Systems
(Universitat Politècnica de Catalunya, 2024-01-31)
Bachelor thesis
Restricted access - confidentiality agreement
Covenantee: Giesecke + Devrient Mobile Security Iberia -
BlueState: un entorno para el aprendizaje de máquinas de estados de UML
(Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2011-07-05)
Conference lecture
Open AccessEl modelo de máquinas de estados es el más complejo de los que integran el lenguaje UML, base actual de la docencia en la mayoría de las asignaturas de Ingeniería del Software. La complejidad (y la consiguiente dificultad ... -
Computing repairs for constraint violations in UML/OCL conceptual schemas
(Elsevier, 2015-06-25)
Article
Open AccessUpdating the contents of an information base may violate some of the constraints defined over the schema. The classical way to deal with this problem has been to reject the requested update when its application would lead ... -
Creació taules SQL a partir de UML
(Universitat Politècnica de Catalunya, 2009-06)
Master thesis (pre-Bologna period)
Open Access -
CSTL: A Conceptual Schema Testing Language
(Universitat Politècnica de Catalunya, 2009-01-19)
Master thesis
Open AccessLike any software artifact, conceptual schemas of information systems can be tested. Testing conceptual schemas has some similarities with testing programs, but there are important differences. We present a list of six ... -
Definición, importancia y especificación en UML de las restricciones de integridad constante y permanente
(2007)
Conference report
Open AccessEste artículo se centra en el estudio de dos restricciones temporales, denominadas constante y permanente, que se aplican a tipos de entidad, a tipos de relación y a participaciones en tipos de relación. El artículo ... -
Dependency injection con Guice
(Universitat Politècnica de Catalunya, 2009-06-18)
Master thesis (pre-Bologna period)
Open AccessEl objetivo principal del proyecto es estudiar el patrón Dependency Injection y ver como un framework, Guice, lo implementa. Durante los primeros capítulos veremos a fondo el patrón y como se aplica. Veremos la ... -
Desarrollo de un plug-in de Eclipse para validar los nombres de los elementos de un esquema conceptual
(Universitat Politècnica de Catalunya, 2011-07-01)
Master thesis (pre-Bologna period)
Open AccessCastellano: El objetivo principal del proyecto es la definición, especificación, diseño e implementación de una herramienta que, dado un esquema conceptual: Indique qué nombres no cumplen con las guías de nominación. Genere ... -
Describing BLOOM99 with regards to UML semantics
(Universidad de Valladolid, 2000)
Conference lecture
Open AccessIn this paper, we describe the BLOOM metaclasses with regard to the Unified Modeling Language (UML) semantics. We concentrate essentially on the Generalization/Specialization and Aggregation/Decomposition dimensions. Because ... -
Desenvolupament d'una eina de traducció UML a esquelet d'aplicació web CakePHP
(Universitat Politècnica de Catalunya, 2009-06-11)
Master thesis (pre-Bologna period)
Open AccessL' objectiu del projecte és definir, especificar, dissenyar i finalment implementar una eina de transformació que permeti el pas d'un model conceptual en UML (llenguatge que ens permet especificar el sistema) a una ... -
Desenvolupament de la 2a versió de l'aplicació JPRiM
(Universitat Politècnica de Catalunya, 2007-12-02)
Master thesis (pre-Bologna period)
Open Access -
Design and Implementation of a Conceptual Modeling Assistant (CMA)
(Universitat Politècnica de Catalunya, 2010-09)
Master thesis
Open AccessThis Master's Thesis de nes an architecture for a Conceptual Modeling Assistant (CMA) along with an implementation of a running prototype. Our CMA is a piece of software that runs on top of current modeling tools whose ...