1937 search results - page 79 / 388 » Starting B Specifications from Use Cases |
139
click to vote
ASPLOS
2012
ACM
14 years 6 days ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
122
click to vote
DCC
2007
IEEE
16 years 4 months ago
2007
IEEE
The aim of this paper is to present a construction of t-divisible designs for t > 3, because such divisible designs seem to be missing in the literature. To this end, tools suc...
163
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
In this work, we describe a subword unit approach for information retrieval of items by voice. An algorithm based on the minimum description length (MDL) principle converts an ind...
124
click to vote
ROOM
2000
15 years 5 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
146
click to vote
CASCON
2006
15 years 5 months ago
2006
This paper describes a technique for automating the size estimation of software projects conducted using Model Driven Development methods. Specifically, an algorithm has been impl...