1829 search results - page 239 / 366 » Towards Validation of Requirements Models |
216
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The modeling of dynamic systems requires estimating kinetic parameters from experimentally measured time-courses. Conventional global optimization methods used for par...
173
Voted
UML
2005
Springer
16 years 3 days ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
165
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
212
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
— Frequent failure occurrences are becoming a serious concern to the community of high-end computing, especially when the applications and the underlying systems rapidly grow in ...
185
click to vote
EMSOFT
2007
Springer
16 years 25 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...