326 search results - page 8 / 66 » Logical Engineering with Instance-Based Methods |
117
click to vote
APSEC
2000
IEEE
15 years 9 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
123
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
145
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
144
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
151
Voted
WWW
2003
ACM
16 years 5 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...