803 search results - page 39 / 161 » Building Formal Models for Software Requirements |
145
Voted
FMICS
2010
Springer
15 years 2 months 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...
126
Voted
EUROMICRO
1999
IEEE
15 years 6 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 ...
109
Voted
MODELS
2009
Springer
15 years 8 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...
119
click to vote
VRML
2000
ACM
15 years 6 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...
130
click to vote
CSEE
2009
Springer
15 years 8 months ago
2009
Springer
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...