746 search results - page 70 / 150 » Real-Life Object-Oriented Systems |
LOPSTR
2007
Springer
14 years 1 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
DASFAA
2005
IEEE
14 years 1 months ago
2005
IEEE
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
TGC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
CC
2005
Springer
14 years 1 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...