A propaedeutic on logic for object-oriented systems analysis and design

This paper presents, motivates, and discusses a set of requirements for logic-based support of object-oriented systems analysis and design methods. It discusses the Object Modelling Technique (OMT) methodology, CASE tools, diagrams and software reuse.

[1]  Ronald M. Lee,et al.  Logic modeling: A tool for management science , 1988, Decis. Support Syst..

[2]  D. C. Blair,et al.  Language and Representation in Information Retrieval , 1990 .

[3]  David A. Taylor,et al.  Object-Oriented Information Systems: Planning and Implementation , 1992 .

[4]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .

[5]  S. Kay.  Structured Systems Analysis through Prolog , 1989 .

[6]  David A. Taylor.  Business engineering with object technology , 1995 .

[7]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[8]  Brian C. O'Connor,et al.  Language and representation in information retrieval , 1993 .

[9]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[10]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[11]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[12]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[13]  Terry Goble.  Structured Systems Analysis Through Prolog , 1989 .

[14]  Peter Crosby Scott.  A logical approach to requirements analysis , 1993 .

[15]  S.O. Kimbrough,et al.  On semantically-accessible messaging in an office environment , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[16]  Donald A. Norman,et al.  Things That Make Us Smart: Defending Human Attributes In The Age Of The Machine , 1993 .

[17]  David C. Blair.  The Management of Information: Basic Distinctions , 1984 .

[18]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[19]  Hemant K. Bhargava,et al.  Unique Names Violations, a Problem for Model Integration or You Say Tomato, I Say Tomahto , 1991, INFORMS J. Comput..

[20]  Chris Gane,et al.  Structured Systems Analysis: Tools and Techniques , 1977 .

[21]  Peter C. Scott.  Requirements analysis assisted by logic modelling , 1988, Decis. Support Syst..

[22]  John S. Gero,et al.  Knowledge-Based Design Systems , 1989 .