2026 search results - page 384 / 406 » Tools for Test Case Generation |
138
click to vote
POPL
2010
ACM
15 years 4 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
121
click to vote
DSVIS
2008
Springer
15 years 3 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
124
click to vote
BCSHCI
2007
15 years 3 months ago
2007
This workshop is aimed at reviewing and comparing existing Usability Evaluation Methods (UEMs) which are applicable to monomodal and multimodal applications, whether they are web-...
129
Voted
SERVICES
2008
15 years 3 months ago
2008
Scientific workflows in Life Sciences are usually complex, and use many online databases, analysis tools, publication repositories and customized computation intensive desktop sof...
106
Voted
SCS
2004
15 years 3 months ago
2004
Engineers who develop safety-related systems are required to work to remarkably high standards: SIL 1, the lowest classification recognised by the international standard IEC 61508...