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