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...

Disgrifiad llawn

Manylion Llyfryddiaeth

Cyhoeddwyd yn:	IEEE Transactions on software engineering 28, 6 (2002).
Prif Awdur:	Alencar, P.S.C
Fformat:	Erthygl
Iaith:	English
Pynciau:	Abstract design objects. Abstract design views. Category theory. Concurrency. Object-oriented program. Separation of concerns. Specification. Temporal logic. User interfaces. Verification.