Object−oriented programming hasn't created a viable software component industry. From a technical perspective, the reason for this failure lies in an insufficient consideration of the unique requirements of component software. Object−oriented programming too often concentrates on individual objects, instead of whole collections of objects, i.e., components. Component−oriented programming requir...

There have been many attempts to integrate object-oriented and functional programming. Solving the connicting requirements is diicult and only recently has a language, CLOVER, been designed that is purely functional and purely object-oriented and retains complete type safety. In this paper, we present the implementation of CLOVER: the object-oriented features are translated away in stages and t...

In the last decades, a significant growth of agent oriented systems has been observed, which has stimulated a more precise formalism for the definition of both agent and multi-agent systems, as well as the release of a huge number of agent development environment. In this work a new programming paradigm is proposed, that is agent oriented programming instead of object oriented programming. The ...

It is worthwhile mentioning that the area of formal specifications, particularly as refers to object orientation, has not been widely developed, due to its proposal being recent and novel, mixing the traditional benefits of formal specification languages (consistency, completion and lack of ambiguity in the software developed) with object-oriented characteristics such as encapsulation, inherita...

We combine the area of object-oriented speciication and object-oriented logic programming by indicating the translation of a speciication language into an enhanced logic programming language. The translation shows that in comparison to the programming language the speciication language ooers richer concepts. The background of our work is the development of rapid prototyping systems for object-o...

Relational database management systems have been widely used in industry for many years. Although there has been much research done for developing object-oriented database systems recently, it is believed that relational database systems will still dominate the market for many years. On the other hand, object-oriented programming languages become more acceptable by software developers. It is th...

Relational database management systems have been widely used in industry for many years. Although there has been much research done for developing object-oriented database systems recently, it is believed that relational database systems will still dominate the market for many years. On the other hand, object-oriented programming languages become more acceptable by software developers. It is th...

We describe an approach to the specification and implementation of consistency constraints in object-oriented database systems, adopting the programming-by-contract paradigm developed for object-oriented programming. We also investigate how consistency constraints specified in programming-by-contract can be transformed into production rules of an active, object-oriented database system.

1998 CR Categories: D.1.5 [Programming Techniques] Object-oriented Programming; D.2.2 [Software Engineering] Design Tools and Techniquesobject-oriented design methods; D.2.3 [Software Engineering] Coding Tools and Techniquesobject-oriented programming; D.3.3 [Software Engineering] Language Constructs and Featuresclasses and objects, dynamic storage management; D.4 [Operating Systems] Storage...