1448 search results - page 192 / 290 » From Requirements to Code Revisited |
113
Voted
ICSM
2003
IEEE
15 years 8 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
125
Voted
WECWIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
135
Voted
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
126
Voted
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
—We propose SWAN, a stateless network model which uses distributed control algorithms to deliver service differentiation in mobile wireless ad hoc networks in a simple, scalable ...
132
Voted
DICS
2006
15 years 7 months ago
2006
Dynamic Parallel Schedules (DPS) is a flow graph based framework for developing parallel applications on clusters of workstations. The DPS flow graph execution model enables automa...