A UML Profile to Couple the Production Code Generator TargetLink with UML Design Tools
Malte Falk +2 more
openalex +2 more sources
A blended modeling framework for real-time design and verification of safety-critical embedded systems. [PDF]
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]
Phil Gooch, Abdul Roudsari
openalex
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams [PDF]
Mustafa Al Lail +4 more
openalex +1 more source
Report from MDE practice: An interview-based evaluation of model-driven engineering uses. [PDF]
Alfraihi H, Lano K.
europepmc +1 more source
A UML-MARTE Temporal Property Verification Tool based on Model Checking
Ning Ge, Marc Pantel, Xavier Crégut
openalex +1 more source
Formalized aspect-oriented misuse case for specifying crosscutting security threats and mitigations. [PDF]
Iqbal S, Faiz RB, Usman M, Rehman SU.
europepmc +1 more source
A Framework for Cybersecurity Requirements Management in the Automotive Domain. [PDF]
Luo F, Jiang Y, Wang J, Li Z, Zhang X.
europepmc +1 more source
EXPLORATIVE UML MODELING - Comparing the Usability of UML Tools
openaire +1 more source

