[PDF] Top 20 La gestión de la calidad en la educación semipresencial y a distancia en el posgrado

... convert UML class diagrams to an OWL ontology in Protégé (OWL editor) directly, it detects some anti-patterns as (Class has no operations, Class has no attributes, an ... See full document

... (UML) Class Diagrams (CD) and agents’ norms derived from MEASUR for actions on business terms can be modeled in UML Activity Diagrams ...into UML CD ...the semantics, ... See full document

... The UML language lacks a formal mathematical ...formal semantics of UML ...simple semantics of UML class and object diagrams based on graph structures that are as close as ... See full document

... and design specification are serious issues in systems development because of the semantics in- volved in transformation of real world problems to computer software ...for design and specification of ... See full document

... concept level similarities by applying latent semantic indexing and principal component ...high level similarities can help in comprehending the design of the system for better ...for UML ... See full document

... A use case diagram in the Unified Modeling Language (UML) is a type of behavioral diagram defined by and created from a Use-case analysis. Its purpose is to present a graphical overview of the functionality ... See full document

... Communication Diagrams show interactions through an architectural view where the arc between the communi- cating Lifelines are decorated with description of the passed Messages and their ...Communication ... See full document

... (UML) design modeling diagrams is proposed in which context-free grammar (CFG) is used for the ...aspect-oriented UML design model of the system is converted into a CFG that consists of ... See full document

... the major problems in AOAD is that it is still not mature enough and has gained popularity among practitioners especially academicians. Also it was felt during the experiment stage that, subjects were possessing low ... See full document

... low level of abs- traction, very close to the executable ...its structure. Moreover, even though the execution semantics are well defined and common for all the IEC 61131-3 compliant execution ... See full document

... In collaboration with Motorola Research Labs, we have been conducting a number of case studies [6, 11] into automating pathology detection in MSC telecommunication specifications. Figure 8 is an anonymized example from a ... See full document

... The UML activity and class diagrams are designed for these two topologies used for the static interconnection under the distributed computing environment.. Before this, a process id is c[r] ... See full document

... sequence diagrams, class diagrams, and object constraint language in order to solve several steps of the model-based testing ...supports UML 2.0 sequence diagrams including eight kinds ... See full document

... The automatic verification of UMLsec models, de- scribed in [16, 15], is the most thorough work on model checking security requirements of UML models using Spin. The Spin translation used in this paper (for flat ... See full document

... generating UML Diagrams from natural language specification is a highly challenging ...extract UML diagrams from textual requirements using natural language processing (NLP) and Domain ... See full document

... Furthermore, for testing ODP systems [2-3], the current testing techniques [14, 15] are not widely accepted and specially for the enterprise viewpoint specifications. A new approach for testing, namely agile programming ... See full document

... Abstract—With the rising energy demand in ICT services and its associated environmental impact, the need for energy efficient Enterprise ICT solutions is growing. As data centres account for a large part of energy ... See full document

... of UML models for test case generation is discussed in [32] [33] [34] [35] [36] ...of UML-based methods for test case generation are originally developed for automatic generation of test cases, but they ... See full document

... defining UML, as we have been arguing throughout this ...of UML using graph transfor- mations that have been offered thus far are not sufficiently faithful nor extensive to be convincing demonstrations, but ... See full document

... same patterns should be found ...operational level consume the management labor, use needed equipment and other ...business patterns of controlling and controlled ...REA patterns using their ... See full document