3311 search results - page 211 / 663 » Deductive Object Programming |
139
click to vote
ACSE
2000
ACM
15 years 6 months ago
2000
ACM
Object-oriented programming and concurrency are increasingly popular in computing education. Both are difficult topics in themselves, and the combination of both introduces subtle...
ICDE
1993
IEEE
15 years 6 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
124
click to vote
FMCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
134
click to vote
CAINE
2001
15 years 3 months ago
2001
In this paper, we describe the theoretical framework that allows us to use of the expert system shell CLIPS to define the network model in the Distribution Management System (DMS)...
118
click to vote
IAAI
2001
15 years 3 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...