102 search results - page 10 / 21 » Formal and Use-Case Driven Requirement Analysis in UML |
64
Voted
HASE
2007
IEEE
15 years 3 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
JUCS
2010
14 years 4 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
UML
2005
Springer
15 years 2 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
MODELS
2010
Springer
14 years 7 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...