353 search results - page 16 / 71 » Linking UML Models of Design and Requirement |
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
CONEXT
2005
ACM
13 years 9 months ago
2005
ACM
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
GLOBAL
2003
Springer
14 years 28 days ago
2003
Springer
Global systems – systems which may operate over transient networks including mobile elements and in which computation itself may be mobile – are gaining in importance. Neverthe...