Object-Oriented Software Construction

Object-Oriented Software Construction is a book by Bertrand Meyer, widely considered a foundational text of object-oriented programming. The first…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

Partial type theories allow reasoning about recursively-defined computations using fixed-point induction. However, fixed-point…

2010

Assertions or contracts are an important technique to improve the quality of software. Thus, assertions are also desirable for…

2004

exporting mechanism. These mechanisms are often static and class-based, sometimes method-based, giving classes the status of both…

1998

We present the concept of an agenda. This concept represents process knowledge in the area of software development. An agenda…

1997

From the Publisher: Learn object-oriented programming the way commercial developers do it! C++: Effective Object-Oriented…

1997

I. CONCEPTS, PRACTICES, AND APPLICATIONS. 1. What Is Object-Oriented Programming? 2. What Is Data Abstraction? 3. Data…

1995

In many large organizations there has been a proliferation of database systems to handle ever increasing volumes of information…

1994

This paper argues that a combined use of languages is needed for object-oriented software construction, since no single language…

1993

The author defines three quality assurance activities in software validation: quality derivation, quality refinement, and quality…

1992

In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…