Results 101 to 110 of about 60,645 (326)
Model‐Based Systems Engineering in Space Applications: A Comprehensive Literature Review
Systems Engineering, EarlyView.ABSTRACT The growing complexity of space engineering is driving the demand to embrace the adoption of Model‐Based Systems Engineering (MBSE). Although the MBSE is well‐practiced in the space industry, the level of effort and need required to obtain the benefits of MBSE vastly differ across enterprises; this disparity presents a significant challenge to
Rehobot Bekele Buruso +4 more
wiley +1 more source
UML-Checker: An Approach for Verifying UML Behavioral Diagrams
Journal of Software, 2014 UML is a visual modeling language used for specifying, visualizing, constructing, and documenting software artifacts. Despite having many features to model systems, conducting verifications and validations on UML models is not an easy task. In this paper, the problem of performing verification of UML models is discussed through a translation of UML ...
Flávio Fernandes, Mark A. J. Song
openaire +1 more source
Entrelazamiento de los aspectos estático y dinámico en las asociaciones UML [PDF]
, 2003 El Lenguaje Unificado de Modelado (Unified Modeling Language - UML) es un lenguaje visual de modelado de propósito general utilizado para especificar, visualizar, construir y documentar los artefactos (piezas de información) de un sistema informático ...
Génova Fuster, Gonzalo
core
Uma solução interoperável, baseada na UMLS, para apoiar a decisão diagnóstica colaborativa na Web [PDF]
, 2007 Daniel Facciolo Pires
openalex +1 more source
Extending SysML v2 for Safety ‐ Open‐Source Library for the System‐Theoretic Process Analysis
Systems Engineering, EarlyView.ABSTRACT Safety challenges in automated transport systems create the need for a strong design and safety coupling. In this regard, the second version of the Systems Modeling Language (SysML v2) offers new integration opportunities with extensibility features such as libraries.
Alexander Ahlbrecht +2 more
wiley +1 more source
Jurnal Teknoif Teknik Informatika Institut Teknologi Padang, 2019 Restitusi Surat Perintah Perjalanan Dinas (SPPD) merupakan kegiatan rutin dalam mengelola pengeluaran keuangan sebuah institusi. Pengajuan restitusi SPPD yang menggunakan pengajuan dengan sistem lama menimbulkan masalah dengan waktu yang lama dan ...
Dede Wira Trise Putra, Rahmi Andriani
doaj +1 more source
Comprehensibility of UML-B - A Series of Controlled Experiments
, 2007 This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B.
Garratt, P +3 more
core
Um simulador para modelos descritos em UML. [PDF]
, 2009 Gustavo Afonso Rodrigues
openalex +1 more source
Model‐Based Cybersecurity: Automating Common Vulnerabilities Reporting
Systems Engineering, EarlyView.ABSTRACT The Common Vulnerabilities and Exposures (CVE) Program's mission is to identify, define, and catalog publicly disclosed cybersecurity vulnerabilities. A cybersecurity practitioner who suspects a software, hardware, or service vulnerability, can initiate a CVE‐ID Requesting process, as defined by MITRE.
Ahmad Jbara, Dov Dori
wiley +1 more source
Model evolution and system evolution
Journal of Computer Science and Technology, 2000 In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional ...
Claudia Pons +2 more
doaj