200 search results - page 2 / 40 » Modular Reasoning in Object-Oriented Programming |
SAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
TSE
2008
13 years 5 months ago
2008
The metrics formulated to date for characterizing the modularization quality of object-oriented software have considered module and class to be synonymous concepts. But, a typical ...
ANSS
2004
IEEE
13 years 9 months ago
2004
IEEE
A new object-oriented version of the SIMSCRIPT programming language is under development. Incorporating modules and object classes, the new language is designed for modular, objec...
VLDB
1994
ACM
13 years 9 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
TOOLS
1998
IEEE
13 years 9 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...