3081 search results - page 417 / 617 » A Formal Ontology of Properties |
171
click to vote
ICECCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
203
click to vote
TIME
2006
IEEE
16 years 18 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
163
click to vote
ISSTA
2006
ACM
16 years 16 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
148
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
165
click to vote
RSP
2005
IEEE
16 years 5 days ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...