Previous studies on program comprehension were carried out largely in the context of procedural languages. Our purpose is to develop and evaluate a cognitive model of object-orient...
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...
Stephen V. Rice, Ana Marjanski, Harry M. Markowitz...
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...