3432 search results - page 19 / 687 » Model Development in the UML-based Specification Environment... |
IFM
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
WISES
2003
13 years 10 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—The need to have Transaction Level models early in the design cycle is becoming more and more important to shorten the development times of complex Systems-on-Chip (SoC). These ...
IWSSD
2000
IEEE
14 years 1 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
JSW
2008
13 years 8 months ago
2008
Requirements engineering is an important phase in a system's life cycle. When poorly performed, various problems may occur, such as failures, cost overrun and delays. The incr...