Results 101 to 110 of about 2,825 (206)
UML data modeling profile [PDF]
O objetivo deste trabalho é apresentar o profile desenvolvido por Scott W. Ambler para modelagem física de dados com UML. No transcorrer do trabalho foram caracterizados os elementos que compõem este profile e o seu emprego apropriado durante a ...
Molle, Felipe Dalle
core
Visualizing Design Patterns with a UML Profile [PDF]
In this paper, we present a UML profile which defines new stereotypes, tagged values and constraints for visualizing design patterns in UML diagrams. These new stereotypes and tagged values are attached to a modeling element to explicitly represent the ...
Sheng Yang, Jing Dong
core
Obwohl Testen oftmals bis zu 50% des gesamten Entwicklungsaufwands erfordert, ist es bislang nicht bzw. wenig in die einzelnen Systementwicklungsphasen integriert. Das liegt u.a.
Schieferdecker, Ina
core
Bringing requirements engineering to formal methods: timing diagrams for Event-B and KAOS [PDF]
Event-B is a language for the formal development of reactive systems. At present the RODIN toolkit (RODIN, 2009) for Event-B is used for modelling requirements, specifying refinements and verification.
Joochim, Tossaporn
core
IMS-LD Level C UML Profile [PDF]
The Poseidon file containing the UML Profile of IMS-LD Level ...
Van der Vegt, Wim
core
UML profile for MIF static models [PDF]
This article summarizes our contribution to the 2012-2013 HL7 Tooling Challenge “Produce a UML Profile for MIF Static Models”. The main goal of the profile is to enable the representation in UML of the MIF static models.
Olivé Ramon, Antoni +1 more
core
AD39 Learning Design UML Profile [PDF]
This document shows the UML Profile modelled for Learning Design, so it can be used as input for the Telcert Test System.
Koper, Rob +4 more
core +1 more source
Modeling and verification of authentication threats mitigation in aspect-oriented mal sequence woven model. [PDF]
Ullah U, Faiz RB, Haleem M.
europepmc +1 more source
Machine learning for microscopy data analytics targeting real-time optical characterization of semiconductor nanocrystals. [PDF]
Mukherjee A +16 more
europepmc +1 more source
Automated project scheduling from UML sequence diagrams using OCR and critical path analysis. [PDF]
Alyami A +3 more
europepmc +1 more source

