A Propaedeutic on Logic for Object-Oriented Systems Analysis and Design

Abstract

This paper presents, motivates, and discusses a set of requirements for logic-based support of object-oriented systems analysis and design methods. 

Topics

3 Figures and Tables