Sciweavers

12 search results - page 3 / 3
» From UML activity diagrams to Stochastic Petri nets: applica...
Sort
View
HASE
1999
IEEE
13 years 9 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
ICSE
2003
IEEE-ACM
13 years 10 months ago
Architecture as an Emergent Property of Requirements Integration
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
R. Geoff Dromey