2748 search results - page 194 / 550 » Generating Object-Z Specifications from Use Cases |
77
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
63
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
For an agent to intelligently use specifications of executable protocols, it is necessary that the agent can quickly and correctly assess the outcomes of that protocol if it is ex...
106
Voted
ASWEC
2007
IEEE
15 years 4 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
114
Voted
JCP
2008
15 years 21 days ago
2008
We first analyzed protein names using various dictionaries and databases and found five problems with protein names; i.e., the treatment of special characters, the treatment of hom...
112
click to vote
AICOM
2004
15 years 18 days ago
2004
Software complexity has increased substantially in the last decade. This has made software development teams work faster and under tight budgets. Reusing software can be a way of s...