1937 search results - page 166 / 388 » Starting B Specifications from Use Cases |
171
click to vote
ENTCS
2010
15 years 6 months ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
175
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...
192
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
176
click to vote
JELIA
2004
Springer
16 years 6 min ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
158
click to vote
MEDIAFORENSICS
2010
15 years 8 months ago
2010
In camera identification using sensor noise, the camera that took a given image can be determined with high certainty by establishing the presence of the camera's sensor fing...