Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative and quantitative aspects about its pros and cons are missing. This paper tries to answer crucial questions based on the experience gained by the authors and their partners in several projects where object-oriented tech...

We show that a closed, connected, oriented, Riemannian n-manifold, admitting a branched cover of bounded length distortion from R, has a virtually Abelian fundamental group.

We survey code analysis research, applications and infrastructure, focusing on object-oriented languages. In particular we cover static and dynamic program analysis, including non-conservative analysis, and also consider language extensions facilitating program analysis, and libraries and tools for doing analysis. The discussion outlines challenges and opportunities for program analysis when ap...

Over the past decades, most of the remote sensing studies dealt with natural environment. The advance of remote sensing satellites and the innovative methods of proceeding high resolution images have contributed to integrated urban studies. This project is an attempt to use remote sensing technology so as to monitor the urban sprawl of the city of Thessaloniki and detect the changes occurred th...

For a set C of directed circuits of a graph G that form an oriented circuit double cover, we denote by IC the graph with vertex set C, in which two circuits C and C are connected by k edges if |C ∩ C| = k. Let Φ∗c (G) = minχc(IC), where the minimum is taken over all the oriented circuit double covers of G. It is easy to show that for any graph G, Φc(G) ≤ Φ ∗ c (G). On the other hand, it follows...

The development of robust object-oriented classification methods suitable for medium to high resolution satellite imagery provides a valid alternative to ‘traditional’ pixel-based methods. This paper compares the results of an object-oriented classification to a supervised pixel-based classification for mapping land cover in the tropical north of the Northern Territory. The object-oriented appr...

Research in aspect-oriented software testing has resulted in many approaches as reported in literature. A few papers have devoted to literature survey in this field of research. However, the survey only focuses on certain selected topic and particular approaches rather than providing a comprehensive set of references that cover most of the work related to aspect-oriented software testing as a w...