Results 141 to 150 of about 2,433 (273)

A UML Profile to Couple the Production Code Generator TargetLink with UML Design Tools

, 2017
Malte Falk, Stefan Walter, Achim Rettberg   +2 more
openalex   +2 more sources

A blended modeling framework for real-time design and verification of safety-critical embedded systems. [PDF]

PLoS One
Awan MM, Anwar MW, Butt WH, Azam F.
europepmc   +1 more source

A tool for enhancing MetaMap performance when annotating clinical guideline documents with UMLS concepts [PDF]

, 2011
Phil Gooch, Abdul Roudsari
openalex  

TPV: A Tool for Validating Temporal Properties in UML Class Diagrams [PDF]

Mustafa Al Lail, Antonio Rosales Viesca, Hector Cardenas, Mohammad Zarour, Alfredo J. Pérez   +4 more
openalex   +1 more source

Report from MDE practice: An interview-based evaluation of model-driven engineering uses. [PDF]

PLoS One
Alfraihi H, Lano K.
europepmc   +1 more source

A UML-MARTE Temporal Property Verification Tool based on Model Checking

, 2014
Ning Ge, Marc Pantel, Xavier Crégut
openalex   +1 more source

Perancangan Case Tools untuk Diagram Use Case, Activity, dan Class untuk Permodelan Uml Berbasis Web Menggunakan HTML5 dan PHP

, 2014
Mohammad Subekti, Lukman Lukman, Donny Indrawan, Ganesh Putra   +3 more
openalex   +2 more sources

Formalized aspect-oriented misuse case for specifying crosscutting security threats and mitigations. [PDF]

PLoS One
Iqbal S, Faiz RB, Usman M, Rehman SU.
europepmc   +1 more source

A Framework for Cybersecurity Requirements Management in the Automotive Domain. [PDF]

Sensors (Basel), 2023
Luo F, Jiang Y, Wang J, Li Z, Zhang X.
europepmc   +1 more source

EXPLORATIVE UML MODELING - Comparing the Usability of UML Tools

Proceedings of the Ninth International Conference on Enterprise Information Systems, 2007
openaire   +1 more source