1072 search results - page 20 / 215 » Object-Oriented Type Inference |
111
click to vote
WCRE
2008
IEEE
15 years 6 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract. Parallel processing is based on utilizing a group of processors to efficiently solve large problems faster than is possible on a single processor. To accomplish this, the...
104
click to vote
IWPC
2000
IEEE
15 years 4 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...