2748 search results - page 119 / 550 » Generating Object-Z Specifications from Use Cases |
109
click to vote
FORTE
2001
15 years 1 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
175
click to vote
ICST
2011
IEEE
14 years 4 months ago
2011
IEEE
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...
102
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
89
Voted
IJCV
2008
15 years 14 days ago
2008
We present a new data set encoding localized semantics for 1014 images and a methodology for using this kind of data for recognition evaluation. This methodology establishes protoc...
109
Voted
WSC
2000
15 years 1 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...