1645 search results - page 120 / 329 » Rationale-Based Use Case Specification |
175
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
198
click to vote
LISP
2008
15 years 6 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
170
click to vote
ENTCS
2010
15 years 6 months ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
222
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Genome-wide transcriptional profiling of patient blood samples offers a powerful tool to investigate underlying disease mechanisms and personalized treatment decisions...
165
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...