1121 search results - page 61 / 225 » Building Formal Requirements Models for Reliable Software |
127
click to vote
FMICS
2010
Springer
15 years 19 hour ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
ECBS
2004
IEEE
15 years 3 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
103
click to vote
EUROMICRO
1999
IEEE
15 years 4 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
102
click to vote
VRML
2000
ACM
15 years 4 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...