2969 search results - page 160 / 594 » The Case for User-Centered CASE Tools |
144
click to vote
ENTCS
2002
15 years 6 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
177
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Many programs have been developed to identify transcription factor binding sites. However, most of them are not able to infer two-word motifs with variable spacer leng...
166
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
We present a case study of an international distance education course involving two sites in the US and one site in Pakistan. We use the case study to examine the elements of the ...
157
click to vote
FORMATS
2007
Springer
16 years 20 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
178
click to vote
SAFECOMP
2007
Springer
16 years 19 days ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...