2835 search results - page 382 / 567 » Imperfect Requirements in Software Development |
156
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
193
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
214
click to vote
ECMDAFA
2009
Springer
16 years 29 days ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
163
click to vote
ISM
2008
IEEE
16 years 23 days ago
2008
IEEE
Due to the problems of heterogeneous data and platforms, abundant functional and QoS requirements, high data size, and tangling correlation between data/contents and software func...
185
click to vote
SCS
2004
15 years 7 months ago
2004
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...