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...
| 發表在: | IEEE Transactions on software engineering 28, 6 (2002). |
|---|---|
| 主要作者: | |
| 格式: | Article |
| 語言: | English |
| 主題: |