1351 search results - page 65 / 271 » Towards a Spreadsheet Engineering |
VMCAI
2009
Springer
14 years 5 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...
QSIC
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
SADFE
2007
IEEE
14 years 4 months ago
2007
IEEE
The existing solutions in the field of computer forensics are largely ad hoc. This paper discusses the need for a rigorous model of forensics and outlines qualities that such a m...
TIME
2007
IEEE
14 years 4 months ago
2007
IEEE
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...