3311 search results - page 248 / 663 » Deductive Object Programming |
128
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...
213
click to vote
ICDE
2001
IEEE
16 years 3 months ago
2001
IEEE
The paper studies the impact of several lock manager designs on the overhead imposed to a persistent programming language by automated object locking. Our study reveals that a loc...
131
Voted
TAP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
150
click to vote
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
123
Voted
ICECCS
2006
IEEE
15 years 8 months 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...