normk@tekgvs.UUCP (06/16/87)
METHODOLOGIES AND OBJECT-ORIENTED PROGRAMMING WORKSHOP To be held in conjunction with the Object-Oriented Programming Systems, Languages and Applications (OOPSLA-87) Conference October 5, 1987 9:00 - 4:30 Orlando, Florida Workshop Objective: Where do Objects Come From? A Discussion on Specification and Design Approaches Leading to Object Oriented Programming. Workshop Issues: We have seen significant advantages from object oriented programming, such as software reuse of objects and flexibility through dynamic binding. But practical deployment of OOP is hampered by our inability to specify and design large systems in a methodical manner. A manner that leads us to a point where we can identify objects and allows us to carefully consider the alternatives of object decomposition and construction. Some people have suggested that Structured Analysis is adequate for specification but the translation to Structured Design must be replaced. Others have suggested that extensions to Entity-Relationship diagrams give a great deal of insight. Those with correctness concerns have observed that Hoare's work on the correctness of data representations and Guttag's work on algebraic specifications and Liskov's work on abstract data types can be used to formally define and prove assertions about an object. While these approaches and others do aid in our understanding to some degree, it is clear that we have not found a fully satisfactory approach. The purpose of this workshop is to provide a forum and discussion for researchers and practitioners working with these issues. Workshop Attendance: Attendance is limited and by invitation only. To be considered, write a one or two page position paper, discussing your work or experiences as related to the workshop topic. Participants will be selected based on their ability to contribute new research ideas and discuss pragmatic issues based on experiences. Three copies of the position paper should be sent to the workshop chairman by August 1, 1987. Selected participants will be notified by September 1, 1987. Workshop Chairman: Norman L. Kerth Applied Research Center University of Portland 11521 NW Laidlaw Rd. Portland, OR 97229 (503) 627-1657 (503) 283-7435 - Answering Machine