1645 search results - page 156 / 329 » Rationale-Based Use Case Specification |
201
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
205
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
163
click to vote
QOSA
2007
Springer
16 years 16 days ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
195
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...
255
click to vote
ECAIW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...