6171 search results - page 72 / 1235 » The FrameNet Data and Software |
POPL
2011
ACM
12 years 11 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
DFT
1999
IEEE
14 years 10 days ago
1999
IEEE
The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations ...
HASE
1998
IEEE
14 years 9 days ago
1998
IEEE
Finite failure NHPP models proposed in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault, and are inadequate ...
CSCW
2004
ACM
14 years 1 months ago
2004
ACM
Domain experts are essential for successful software development, but these experts may not recognize their ideas when abstracted into Unified Modeling Language (UML) or ontologie...
METRICS
1997
IEEE
14 years 7 days ago
1997
IEEE
Schlumberger RPS successfully applies software measurement to support their software development projects. It is proposed that the success of their measurement practices is mainly...