1799 search results - page 217 / 360 » The Logic of Correctness in Software Engineering |
170
click to vote
ECOOPW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
153
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
There exists a growing class of distributed applications that require adaptive middleware services, i.e., services that are able to monitor changes in the execution environment an...
162
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
204
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
158
click to vote
SPLC
2008
15 years 8 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...