1645 search results - page 76 / 329 » Rationale-Based Use Case Specification |
195
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
285
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
148
click to vote
WSC
2007
15 years 8 months ago
2007
Intelligent agents offer a new and exciting way of understanding the world of work. In this paper we apply agentbased modeling and simulation to investigate a set of problems in a...
172
click to vote
ISSTA
1996
ACM
15 years 10 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
155
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...