2748 search results - page 217 / 550 » Generating Object-Z Specifications from Use Cases |
141
click to vote
AMOST
2007
ACM
15 years 4 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
107
click to vote
CI
2000
15 years 19 days ago
2000
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...
106
Voted
TASLP
2002
15 years 13 days ago
2002
Abstract--We describe some high-level approaches to estimating confidence scores for the words output by a speech recognizer. By "high-level" we mean that the proposed me...
84
Voted
IEEEMM
2006
15 years 24 days ago
2006
A frequently-used layout for a collection of two-dimensional, fixed aspect-ratio objects, such as photo thumbnails, is the grid, in which rows and columns are configured to match ...
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to loc...