746 search results - page 70 / 150 » Real-Life Object-Oriented Systems |
183
click to vote
LOPSTR
2007
Springer
15 years 11 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 ...
177
click to vote
DASFAA
2005
IEEE
15 years 11 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...
166
click to vote
ICSM
2005
IEEE
15 years 11 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...
193
click to vote
TGC
2005
Springer
15 years 11 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...
151
click to vote
CC
2005
Springer
15 years 11 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...