1253 search results - page 173 / 251 » A Case Study of Requirements Elicitation Process with Change... |
169
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
156
click to vote
WSC
2007
15 years 8 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
141
click to vote
WSC
2008
15 years 8 months ago
2008
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
155
click to vote
JSS
2007
15 years 6 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
146
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
There is a strong technological and economic push for higher education providers to adopt online learning strategies. This is driven, in part, by the requirement of industry for l...