1527 search results - page 152 / 306 » From Requirements to Design: Formalizing the Key Steps |
208
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
148
click to vote
FPL
2004
Springer
15 years 12 months ago
2004
Springer
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...
208
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
157
click to vote
PSIVT
2007
Springer
16 years 19 days ago
2007
Springer
This paper considers the problem of Bayesian inference in dynamical models with time-varying dimension. These models have been studied in the context of multiple target tracking pr...
199
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...