3311 search results - page 177 / 663 » Deductive Object Programming |
114
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
111
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
102
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Back-in-time debuggers are extremely useful tools for identifying the causes of bugs. Unfortunately the "omniscient" approaches that try to remember all previous states a...
117
click to vote
COMCOM
2000
15 years 1 months ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
173
click to vote
Book
"This book introduces a software development method, called the Demeter Method, for
developing adaptive object-oriented software. The reader will learn the Demeter Method for...