Xref: utzoo comp.lang.smalltalk:641 comp.lang.c++:1379
Path: utzoo!attcan!uunet!tektronix!tekcrl!normk
From: normk@tekcrl.CRL.TEK.COM (Norm Kerth)
Newsgroups: comp.lang.smalltalk,comp.lang.c++
Subject: OO Specification and Design Workshop
Message-ID: <2878@tekcrl.CRL.TEK.COM>
Date: 1 Aug 88 18:25:28 GMT
Reply-To: normk@tekcrl.CRL.TEK.COM (Norm Kerth)
Organization: Tektronix, Inc., Beaverton,  OR.
Lines: 57

METHODOLOGIES AND OBJECT-ORIENTED PROGRAMMING WORKSHOP

To be held at OOPSLA '88 on September 26th - 9:00-5:00


Workshop Objective:

     Where do Objects Come From?  A Discussion on Specifica-
     tion  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 construc-
     tion.

     Some people have suggested that Structured Analysis  is
     adequate  for  specification  but  the  translation  to
     Structured Design must be replaced.  Others  have  sug-
     gested  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.  Admittance will be based on a posi-
     tion   paper,   reviewed  by  three  reviewers  (to  be
     selected).  A fair distribution between   academia  and
     industry will be maintained. Methodologists and experi-
     enced OOP programmers are encouraged to submit position
     papers.

     Please submit a one  or  two  page  position  paper  by
     August  15th.   Participants  will  be notified by Sep-
     tember 1st.

Send position paper to:

            Norman L. Kerth                     (503) 297-8677
            11521 NW Laidlaw Rd.
            Portland, OR 97229

            Warning: e-mail may not be delivered; use surface mail.