Sciweavers

2570 search results - page 14 / 514
» Reliability Modeling Using UML
Sort
View
OMER
2001
13 years 9 months ago
UML for Embedded Real-time Systems and the UML Extensions by ARTISAN Software Tools
: Modelling software using the Unified Modelling Language (UML) also for embedded real-time systems (ERS) becomes more and more popular since the complexity of these systems increa...
Andreas Korff
COMPSAC
2002
IEEE
14 years 1 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
DKE
2010
80views more  DKE 2010»
13 years 8 months ago
Using ontologies with UML class-based modeling: The TwoUse approach
UML class-based models and OWL ontologies constitute modeling approaches with different strength and weaknesses that make them appropriate for specifying different aspects of soft...
Fernando Silva Parreiras, Steffen Staab
CAISE
2001
Springer
14 years 29 days ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...
SIGSOFT
2001
ACM
14 years 9 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli