2969 search results - page 112 / 594 » The Case for User-Centered CASE Tools |
165
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
145
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (express...
175
click to vote
TOOLS
2010
IEEE
15 years 11 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
173
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
135
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Through the use of a recently developed taxonomy of information systems implementation, a new research method is developed. The Information Systems Implementation Research Method ...