1146 search results - page 128 / 230 » Formal Specification Generation from Requirement Documents |
CSREAEEE
2006
14 years 11 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
SAC
2006
ACM
14 years 10 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
WWW
2001
ACM
15 years 10 months ago
2001
ACM
New devices gaining access to the Internet need to obtain multimedia content adapted to their limited capacities. Scalable formats allow to retrieve different versions of a single...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
Unregulated evolution of software often leads to software ageing which not only makes the product difficult to maintain but also breaks the consistency between design and impleme...