1645 search results - page 26 / 329 » Rationale-Based Use Case Specification |
137
Voted
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
130
Voted
CASES
2005
ACM
15 years 5 months ago
2005
ACM
This paper presents a methodology for monitoring security in Application Specific Instruction-set Processors (ASIPs). This is a generalized methodology for inline monitoring insec...
115
click to vote
DAC
1990
ACM
15 years 7 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
149
Voted
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
144
Voted
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...