514 search results - page 74 / 103 » Supporting requirements update during software evolution |
SPIN
2005
Springer
15 years 4 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
WWW
2006
ACM
15 years 11 months ago
2006
ACM
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
CAI
2006
Springer
14 years 10 months ago
2006
Springer
Collaborative mobile applications support users on the move in order to perform a collaborative task. One of the challenges when designing such applications is to consider the cont...
117
click to vote
WIMOB
2008
IEEE
15 years 5 months ago
2008
IEEE
— During an emergency response, access to a reliable communication infrastructure is required to exchange accurate information in a timely manner. Various communication technolog...
RE
1997
Springer
15 years 2 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...