3514 search results - page 561 / 703 » Evolving Specification Engineering |
CATA
2003
13 years 10 months ago
2003
This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...
IJIT
2004
13 years 10 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
AVI
1998
13 years 10 months ago
1998
Although existing lab-based formative evaluation is frequently and effectively applied to improving usability of software user interfaces, it has limitations that have led to the ...
AVI
2000
13 years 10 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
PROCOMET
1998
13 years 10 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...