A logical theory of interfaces and objects.

A logical theory of interfaces and objects.

This paper motivates and describes a logic-based approach to specifying and reasoning about interfaces and objects that focuses on separation of concerns issues. The approach is based on the abstract design view (ADV), a software design model for object-oriented systems. The model was originally int...

Descripción completa

Detalles Bibliográficos
Publicado en:IEEE Transactions on software engineering 28, 6 (2002).
Autor principal: Alencar, P.S.C
Formato: Artículo
Lenguaje:English
Materias:
Abstract design objects.
Abstract design views.
Category theory.
Concurrency.
Object-oriented program.
Separation of concerns.
Specification.
Temporal logic.
User interfaces.
Verification.