TOOLS Pacific 94 Final Program 
Author Message
 TOOLS Pacific 94 Final Program

                    TOOLS PACIFIC 94

          INTERNATIONAL CONFERENCE AND EXHIBITION
                 Monash Conference Centre
                   Melbourne (Australia)
              NOVEMBER 28 - DECEMBER 1, 1994

                    Program Chair:
     Christine Mingins (Monash University, Australia)

                   Conference Chair:
         Bertrand Meyer (ISE Inc., Santa Barbara)

                     Local Chair:
      Sita Ramakrishnan (Monash University, Australia)

                   Tutorial Chair:
        John Potter (Microsoft Institute, Australia)

KEY EVENTS:

  *     16 tutorials.

  *     Paper sessions particularly focused  on the   crucial  issue
        of seamless development, on the management of O-O projects,
        on methodologyand modelling, and on business appplications.

  *     Invited talks bringing both "reports from the trenches'" from
        high-level managers and a reflection on fundamental concepts.

  *     The industry forum on November 30 will bring together experienced
        leaders of O-O  projects.

  *     The Language Users' Debate on November 30 will  pit against each
        other users of C++, Eiffel, Ada , Sather  and Smalltalk.

OVERALL STRUCTURE

November 28 and 29 (Monday and Tuesday) are devoted to the tutorials.

The conference proper - invited and submitted presentations - is
on November 30 and December 1.

INVITED PRESENTATIONS:

Ivar Jacobson of Objectory AB, co-author of 'Object-Oriented
Software Engineering': "Business Process Reengineering with
Object Technology"

Roger Duke, University of Queensland, developer of Object-Z: "Do
Formal O-O Methods have a Future?"

Roger Osmond, Senior Manager, Software and System Architecture,
Bytex Corporation:  "Large Project Experience"

Larry Constantine, pioneer of modern software engineering
practice: "Toward More  Usable Object Technology: Essential Use
Cases and User Interfaces"

Gordon Hughes, partner, Hunt & Hunt, President of the Victorian
Society for Computers and the Law: "Potholes in the Information
Super-Highway"

Bertrand Meyer, author of the best seller 'Object-Oriented
Software Construction: "Beyond Design by Contract: Putting More Formality
into Object-Oriented Development"

PANELS

Business Forum

Software Reuse

OO Education/Training

DEBATES

The great language users debate - industrial users defend their
language of choice: Ada, C++, Eiffel, Sather, Smalltalk

Software Patents: promise or disaster?

TUTORIAL ORGANIZATION (MONDAY AND TUESDAY)

_________________________________________________________________
                    MONDAY, November 28, MORNING                 |
_________________________________________________________________|
    Analysis    | Languages      |  OO Systems     |  Business   |
________________|________________|_________________|_____________|
    JACOBSON    |      MCKIM     |    RAO          |   MURPHY    |
  OO Software   |     Eiffel     | Agent-Oriented  |   OODB      |
  Engineering   |   Essentials   |  Programming    |             |
      A1        |          L1    |       S1        |     B1      |
________________|________________|_________________|_____________|
                    MONDAY, November 28, AFTERNOON               |
_________________________________________________________________|
  JACOBSON      |     THOMPSON   |     POTTER     |   STEELE     |
 OO Software    |    Advanced    |    OLE/Com     |  Enterprise  |
 Engineering    |      C++       |                | Modelling    |
     A2         |       L2       |     S2         |       B2     |
________________|________________|________________|______________|

6:00-8:00   Social Event

_________________________________________________________________
                 TUESDAY, NOVEMBER  29, MORNING                  |
_________________________________________________________________|
      WALDEN    |        CHO     |   LALIT /LEE   |   DUKE/      |
    The BON     |    Smalltalk   |    SOM/DSOM    |  SWATMAN     |
     Method     |                |                | Issues in    |
                |                |                |Formal Methods|
     A3         |       L3       |     S3         |       B3     |
________________|________________|________________|______________|
                 TUESDAY NOVEMBER 29, AFTERNOON                  |
_________________________________________________________________|
  MCKIM         |SCHMIDT/ SAJEEV | RICHARDSON     | HENDERSON-   |
 Class Interface|     OO         |    CORBA       |   SELLERS    |
  Design        | Concurrency    |                | OO Project   |
                |                |                | Management   |
     A4         |      L4        |     S4         |       B4     |
________________|________________|________________|______________|

_________________________________________________________________
WEDNESDAY,  NOVEMBER 30                                          |
_________________________________________________________________|
8:30 - 9:30  |Keynote: Roger Duke "Do Formal O-O Methods have    |
             |Future?"                                           |
_____________|___________________________________________________|
10:00-12:00  |A1:Knowledge Engineering,| B1: Methods, Metrics,   |
             |   Simulation            |     Models              |
_____________| ________________________|_________________________|
1:00 - 2:15  |Keynote: Roger Osmond  "Large Project Experience"  |
_____________|___________________________________________________|
2:15 - 4:15  |A2: Technology Transfer, |   Business Forum        |
             |     Analysis            |                         |
_____________|_________________________|_________________________|
4:30 - 6:00  | Language User Debate                              |
_____________|___________________________________________________|

_________________________________________________________________
THURSDAY, DECEMBER 1                                             |
_________________________________________________________________|
8:00 - 9:00  |Keynote: Bertrand Meyer  "The Combination of Object|
             |Orientation & Formal Methods"                      |
_____________|___________________________________________________|
9:00 - 10:30 |A3: Formal Methods,      | B3:Reuse, Class Library |
             |    Concurrency          |    Management, Tools    |
_____________|_________________________|_________________________|
11:00 - 12:15|Keynote: Ivar Jacobson "Business Process Reengineer|
             | ing with Object Technology"                       |
_____________|___________________________________________________|
1:15 - 2:15  |Keynote:Larry Constantine  "Toward More  Usable    |
             | Object Technology: Essential Use Cases and User   |
             | Interfaces"                                       |
_____________|___________________________________________________|
2:15 - 3:30  |Panel: Teaching& Learning |Panel: Software reuse   |
             |        OO                |                        |
 ____________|__________________________|________________________|
4:00 - 5:00  |Keynote: Gordon Hughes: Potholes in the Information|
             |         Super-highway                             |
_____________|___________________________________________________|
5:00 - 6:00  |Panel: Software Patents: Promise or Disaster?      |
_____________|___________________________________________________|

The complete conference program appears below.

DETAILED TUTORIAL PROGRAM

ANALYSIS TRACK

A1 & A2 Ivar Jacobson

   O-O Software Engineering
   Monday, November 28, 8:00 - 12:00
   Monday, November 28, 1:30 - 5:30

This tutorial defines a process concept for object-oriented
software development which covers the whole life cycle for
software products (including embedded  system software). The
objective is furthermore to understand the need for several
models in system building, how use cases help the development
process to design the requested system, to find the right
objects,to work as the glue between different models and to    
structure each model of a large system, and how the real world,
naive objects found during the analysis activities should be
implemented by other objects robust against future changes of the
system. The following topics are covered: the process concept,    
different scenarios for the process, the model concept and the
use case concept.

Ivar Jacobson is founder and VP of Technology at Objectory AB  in
Sweden, a software company that develops and markets the object-
oriented development method Objectory. He has over 20 years
experience in the telecommunications industry. He developed an  
early object-based  design technique a major portion of which has
evolved into the international standard CCITT/SDL.

A3 Kim Walden

   The BON Method: Analysis and Design for Reusability.
   Tuesday, November 29, 8:00 - 12:00

Software reuse on a broad scale is generally    recognized as the
major potential of object technology.   Yet current literature on O-
O analysis and design   has paid very little attention to two
principles of   software development which are crucial for attaining    
this goal: seamless mapping in both directions  between analysis,
design, and implementation on the one hand, and ensuring software
correctness on the other.

The tutorial gives an overview of the BON method, which is
centered around seamlessness, reversibility, and software
contracting. It presents a set of guidelines and notations for O-O      
analysis and design directly targeted at reusability. Rather than
including traditional techniques such as entity-relationship
modeling or finite state machines with their inevitable impedance
mismatches, BON combines O-O abstraction with strong typing and
elements of formal specification. A small case study is used to
explain the basic concepts and systematic tasks of the BON
development process.

Kim Walden has more than twenty years experience with industrial
software development. His involvement with O-O dates back to the
early seventies, when he was on the team developing the DEC Simula
compiler. Since 1987 he has held a position at Enea Data, a major      
technical software consultancy company in Sweden, aimed at
introducing O-O technology to Swedish industry. Dr. Walden is the
author of the book "Seamless Object-Oriented Software
Architecture" with Jean-Marc Nerson, Prentice Hall 1994.

A4 James C. McKim, Jr.    

   Class Interface Design and Programming by Contract
   Tuesday November 29, 1:30 - 5:30

Programming by contract (PBC) is a form of object oriented  
programming popularized by Bertrand Meyer in his book, "Object  
Oriented Software Construction". In PBC, forms of assertions
called preconditions, postconditions, and invariants are used to
help programmers and designers reason about their software
artifacts.The ideas embodied in PBC are simple, but quite
powerful, and, when properly applied, result in simpler and
shorter code than would otherwise be the case. PBC is flexible
enough to be of great assistance in the specification,
documentation, and verification of features and classes.

While one can use the ideas embodied in PBC to great effect
without language or compiler support,it is obviously much more
pleasant to have such support. Currently, the only commercial
language that supports PBC is Eiffel. However, there have been
experimental versions of C++ and   Smalltalk that support it, and
one C++ compiler vendor provides at least partial support. We can
expect this trend to continue as PBC becomes more and more
important in the everyday work of the software professional.In
addition, many of the leading object oriented development  
methodologists recommend a form of PBC for designing class
interfaces.

In this Tutorial I will present an in depth study of programming  
by contract. Examples will be given in Eiffel as it is the only  
commercially available language to support any form of
programming by contract. In fact, some examples will be taken
from the ISE and TowerEiffel libraries. Others will be taken from
working Eiffel systems.

Prospective Audience: The ideal audience member should have a
good grasp of the major features of the object oriented paradigm,
including encapsulation, inheritance, and polymorphism. Knowledge
of programming by contract at the level of "Object Oriented
Software Construction" will be extremely helpful. Since Eiffel
code reads likes pseudocode, no prior experience with Eiffel is
necessary or expected.

James McKim is Professor of Computer Science at the Hartford
Graduate Center and has more than twenty years experience
teaching mathematics and computer science.He has authored,
coauthored and reviewed a number of textbooks and articles in
both areas. His research interests include object oriented
programming and design in general, and class interface
specification in particular.

LANGUAGES TRACK

L1 James C. McKim, Jr.

   Eiffel Essentials
   Monday, November 28, 8:00 - 12:00

All indications are that the Eiffel language and its attendant
philosophy are about to come into their own. Three companies are
now actively marketing compilers with more on the immediate
horizon. At least half a dozen Eiffel books are expected to
appear in the coming year, ranging in level from the elementary  
(CS 1 level) to the advanced (aimed at the graduate level or at
the working professional). This Tutorial aims to explain   what
all the e{*filter*}ment is about. In particular two basic questions  
will be answered:

  *     What is the essence of Eiffel? What are the primary features
        of the language, without which Eiffel just wouldn't be Eiffel.

  *     What are the secondary features of Eiffel that set it apart  
        from most other object oriented languages?

Note that this is not a language Tutorial in the usual sense.In  
particular, no complete Eiffel system (not even Hello, World)
will be discussed. Rather the emphasis will be on object oriented
and software engineering concepts and how they are supported by
the language.

Prospective Audience: The ideal audience member should have a
good grasp of the major features of the object oriented paradigm,
including encapsulation, inheritance, and polymorphism. No prior
knowledge of Eiffel is expected or required, although even
seasoned Eiffel programmers may find the Tutorial beneficial.

James McKim is Professor of Computer Science at the Hartford
Graduate Center and has more than twenty years experience
teaching mathematics and computer science.He has authored,
coauthored and reviewed a number of textbooks and articles in
both areas. His research interests include object oriented
programming and design in general, and class interface
specification in particular.

L2 Mike Thompson    

   Advanced C++
   Monday, November 28, 1:30 - 5:30

C++ is a very rich language.  Only knowing the rules of
C++ is like a chess player only knowing how the pieces move.

An excellent C++ programmer must acquire a set of
principles, strategies and design patterns to augment
and supplement their knowledge of syntax and semantics.
This tutorial is for people who have experience with C++
and want to increase their skills and expertise.

This tutorial will present advanced features of C++ that
support the abstract data type and object-oriented
paradigms are explored in depth.  The tutorial gives
examples of the use of virtual functions, multiple inheritance,
and templates, and how to weigh the potential trade-offs
between the use and cost of particular language features.

It is intended that the participants will already be
familiar with C++.

Mike Thompson has programmed and designed in C++ for five
years in a variety of commercial sites.  He is currently
a Senior Consultant with Object Oriented Pty Ltd.

L3 Adrian Cho    

   Using Smalltalk for Software Manufacturing
   Tuesday, November 29, 8:00 - 12:00

This tutorial presents Smalltalk as a viable platform for
manufacturing high quality software in world-beating timeframe.  
A Smalltalk product development environment is presented in the
context of developing and deploying a product.The entire
development cycle is covered including design, development,
testing, deployment, and maintenance.

Issues will include:

- Why most prototypes should be discarded

- Optimizing for time and space

- Developing in teams

- Scaling up without losing the benefits

- Developing in mainframe and embedded environments

The Smalltalk system used will be IBM Smalltalk although
references will be made to other Smalltalk implementations
including Smalltalk/V and Objectworks\Smalltalk.It is assumed
that the participants will have experience with other programming
systems but not with Smalltalk.

Adrian Cho works for Object Technology International Pty Ltd
(OTI) developing Smalltalk development environments for
deployment in mainframe, workstation, and embedded environments.  
Prior to this he used Smalltalk to develop and deploy programming
environments for IBM and Fujitsu, and banking and trading
applications for Westpac, ANZ, and Bankers Trust.

L4 Heinz Schmidt, Sayed Sajeev    

   Object-Oriented Concurrency
   Tuesday, November 29, 1:30 - 5:30

Parallelism looks at ways to improve performance by executing multiple
activities simultaneously. It enables modeling and simulations of
complex real life systems in engineering, science or commerce. These
include distribution and utility networks, public transport and
traffic simulation, automotive crash simulation and many more.

Concurrency occurs naturally in many of the above systems,
particularly in networks of spatially and geographically distributed
computer systems. Software infrastructure or applications relating to
such systems are inherently concurrent or parallel.

This tutorial is a survey of several paradigms used in integrating
concurrency and object-orientation.  We define the terminology, look
at different paradigms (e.g. concurrency using annotations,
concurrent classes, active objects etc.), and look at problems in
integrating concurrency and OO in programming languages (e.g. the
inheritance anomaly).  Programming examples come from Meyer's
extension to Eiffel, cEiffel, pSather, Concurrent C, Eiffel//,
CC++ and many others.

Professor Heinz Schmidt is the Head of the Department of Software
Development, Monash University.  He has research and teaching
interests in Concurrency and Object-Orientation. Professor Schmidt
was a co-designer of the Sather environment and language and the
principal designer of the initial ICSIM massively parallel neural
network simulator.  He holds a Ph D in Computer Science from
Bremmen University.  He has been with the German National Research
Center for Computer Science (GMD), the International Computer
Science Institute, associated with the Computer Science
Division ot the UC Berkeley, California, Division of Information
Technology of CSIRO, Canberra, and Dept. of CS of the ANU, Canberra.

Dr A. Sayed Muhammed Sajeev is a Senior Lecturer in the Department of
Software Development, Monash University. He has research and teaching
interests in concurrency and object-orientation. Dr Sajeev's Ph D in
Computer Science is from Monash University. He has lectured in Massey
University, New Zealand and James Cook University.

OBJECT SYSTEMS TRACK

S1 Anand Rao    

   Agent-Oriented Programming: An Approach to Developing
   Distributed Real-Time Systems
   Monday, November 28, 8:00 - 12:00

This tutorial will introduce participants to the emerging
paradigm of agent-oriented programming, discuss its foundations,
describe systems designed using this paradigm, and examine
industrial applications built using such agent-oriented systems.

Modern societies depend upon large distributed systems in
applications as diverse as telecommunications, power
distribution, transport, air traffic control, and medical
services.  All these systems require careful management and
control if they are to provide an acceptable level of service to
the community.  Similarly, complex systems such as aircraft,
railways, power stations, oil refineries and large natural gas
facilities require sophisticated and flexible management and
control.  Despite significant automation in these areas, the
resulting growth of these systems has meant that they have become
highly complex and thus increasingly difficult for human
operators to manage and control efficiently.

Conventional design and software techniques have been found to be
inadequate to handle the complexity and flexibility required for
automating such complex systems. Object-oriented design and
object-oriented programming are increasingly being seen as tools
to overcome this complexity. In the object-oriented paradigm a
system is composed of objects that encapsulate both the data and
the methods or procedures which operate on this data. Objects
communicate with each other using messages. The paradigm provides
data and program abstraction and hides the implementation details
of an object from other objects.

This tutorial will introduce participants to a new paradigm,
which goes beyond the exisiting object-oriented paradigm, namely
the agent-oriented paradigm. In this paradigm, a system is viewed
as a collection of autonomous agents embedded in an environment,
continuously receiving perceptual input from the environment, and
reacting to it by taking certain actions. The actions taken by
the agent are dependent on its internal mental state, which is
composed of the beliefs, desires or goals, plans, and intentions.
In addition to data abstraction offered by the object-oriented
paradigm, the agent-oriented paradigm offers a powerful form of
task abstraction.

Anand S. Rao is a Senior Research Scientist at the Australian
Artificial Intelligence Institute. He received his PhD from
University of Sydney in 1988 on the topic of Dynamics of Belief
Systems.  As a research student he spent a year at the IBM T. J.
Watson Research Center. On completing his doctorate he joined the
Australian Artificial Intelligence Institute and has since been
actively involved in the theoretical and practical development of
agent-oriented systems. His contributions range from the
theoretical investigations of the mental state of an agent to the
development of agent-oriented applications such as the
Interactive Real-Time Network Management System for Telecom
Australia, Air-Combat Modelling System for DSTO-ARL, an Air-
Traffic Management System for the Civil Aviation Authority, and a
Business Process Management System.

S2 John Potter    

   Software Components: The Component Object Model
   Monday, November 28, 1:30 - 5:30

This tutorial will describe the details of the Component Object
Model. It will describe the structure of the model, and some of
its underlying design principles.

COM is at the centre of Microsoft's object strategy. The aim is
to provide an architecture which supports the construction of
software components which are customisable and extensible. The
tutorial will indicate how this is achieved, and compare the
reusability of COM components with that achieved through the use
of class libraries.

Extensions for COM will be outlined:

  *     distributed COM --- with provision for the support of
        distributed objects.

  *     OLE --- the compound document architecture for the
        construction of "document-centric" applications.

  *     OLE automation --- dynamic access to an object's   methods
        gives application programmability.

John Potter (BSc ME PhD) is head of the Distributed Computing
Research Unit at the Microsoft Institute in Sydney, Australia.
Prior to this, he was a University Reader at University of
Technology, Sydney, where he was responsible for the introduction
of object technology into the curriculum. His research interests
include concurrency, distribution and programming models. He has
been program chairman of TOOLS Pacific, and has been a frequent
tutorial presenter on object-oriented design and programming.

S3 Lalit Yagnik, Chor-Hock Lee  

   An Introduction to the System Object Model
   Tuesday, November 29, 8:00 - 12:00

IBM's System Object Model expands object technology beyond the
limits and boundaries of today's language-bound facilities, to a
fully open, fully distributed, heterogeneous, multi-platform
environment.

Objects and object definitions can NOW be accessed and
manipulated irrespective of the programming language. SOM's
objective is to allow applications written in different
programming languages to use a common class library which can be
modified or extended WITHOUT having to recompile existing
applications. Through CORBA-compliant extension, DSOM, it also
provides transparent access to remote objects in a distributed
environment.SOM/DSOM technology is gaining wide acceptance in the
component-based software industry. SOM and its frameworks are
open and extensible.

This tutorial introduces the features of SOM/DSOM and its basic
frameworks. Participant will gain an overview of when and how to
develop SOM/DSOM applications using programming languages. In
addition, the speaker will cover SOM's:

  . CORBA-compliant Interface Definition Language (IDL)  
  . Interface Repository Framework  
  . Persistence Framework  
  . Replication Framework  
  . Emitter Framework

Lalit Yagnik is a Senior Systems Engineer with IBM Australia. He
has over 18 years experience in systems development and delivery
spanning programming, systems analysis, relational database
design, consulting and project management in business areas
including finance, government, telecommunications and insurance.  
More recently, Lalit has  been involved in providing consulting
and support in the area of Application Technologies including OO.

Chor-Hock Lee is an application technology specialist with IBM  
Australia.  He joined IBM in 1984 and has been working in the  
applications and database area since. Chor-Hock provides
technology  consulting & support for all IBM object technology
products including  SOM/DSOM.

S4 Peter Richardson    

   Distributed Object Computing
   Tuesday, November 29, 1:30 - 5:30

The Object Oriented (OO) approach to software development is
becoming established as the preferred approach for building
complex systems in a wide variety of application domains.  There
is now a great deal of effort being devoted to applying the OO
approach beyond software, to networks and distributed systems in
general. The ultimate effect will be to remove the distinction
between a network and a computer, combining both into a unified
platform of distributed objects.

This tutorial will introduce the notion of middleware as an
integral part of this platform, designed to reduce the complexity
of composing objects into distributed applications. A number of
industry groups are making advances in the promulgation and
standardisation of such middleware. Such efforts include OSF's
DCE, OMG's CORBA, ISO's ODP, and the TINA Consortium.
Interestingly, there is a convergence of views on an overall
architecture for distributed object computing, and each of these
efforts will be described within the context of this overall
architecture.

Distributed object computing platforms, as typified by the new
generation of CORBA products, will have a profound affect on the
construction of business systems using so-called client/server
tools. Some simple architectural guidelines will be described
that allow the design of client/server systems able to gradually
harness the power of CORBA, as the technology becomes widespread.

This talk is intended for technical and management people
interested in evaluating how CORBA and related technologies may
impact their current work. A basic knowledge of OO concepts is
assumed.

Peter Richardson is a Principal Consultant with Object Oriented
Pty. Ltd., a company specialising in consulting and training for
object oriented technology, and a member of the Object Management
Group. Peter also works at Telecom Research Laboratories, where
he leads the TINA Group and represents Telstra on the TINA
Consortium Technical Committee.

BUSINESS TRACK

B1 Jim Murphy

   Object-Oriented Databases: Concepts and Commercial Offerings    
   Monday, November 28, 8:00 - 12:00

O-O Databases are here! They are fully functioned, robust and set
to become the tool of choice in business systems development.It
is estimated that up to 95 percent of business information
systems cannot be stored on conventional relational databases. O-
O databases can store complex information and can achieve
performance up to 100 times their relational counterparts. The
tutorial will address what makes a database Object-Oriented, and
when and why this is desirable. It will look at real application
code developed for databases with discussion centred around the
different approaches that have been adopted. Attendees should
come away with a broad understanding of how some of the major O-O
databases are structured. The emphasis will be on practical
applications of these databases to solve real problems in a
business environment.

Jim Murphy is a senior consultant at Simsion and Bowles and
Associates. He is experienced in applying Object-Oriented
principles at both the business and the technical level, and has
specialised in Object-Oriented databases and CASE tools. Jim was
involved very early in the application of O-O techniques to
enterprise analysis and design. He has designed and written
applications using both ONTOS and ObjectStore.

B2 Ray Steele  

   Enterprise Modelling
   Monday, November 28, 1:30 - 5:30

An Enterprise Model is an integrating view of an organisation
which supports its planning, its organisation structure design
and its systems development. It is based upon business plans and
culture. It provides a high level information model which
describes the organisation in terms of the things that it
manages, the activities it performs and the rules by which its
activities are regulated.

This tutorial covers the implications of Enterprise Modelling    
within the organisation and how it affects IT planning.

Ray Steele has been involved with object technology for over    
eight years. His major experience has been in project management,
requirements analysis, mehodology, systems analysis and design,  
underpinned by practical knowledge of major tools and languages  
including Smalltalk and Eiffel. He has applied enterprise
business modelling to corporate application domains, and
understands the need for a business to have a consistent
conceptual view of itself.  

B3 Roger Duke, Paul Swatman    

   Adopting Formal Object-Oriented Methods in Industry
   Tuesday, November 29, 8:00 - 12:00

This tutorial addresses the issues which face an organisation  
wishing to improve its systems development performance by the  
adoption of formal methods.  We begin by describing formal
methods  and their potential benefits in the context of object
orientation, then explain the problems which they are designed to
solve and the  limitations of this technique.

An organisation considering adoption of formal methods must  
consider:  

  *     which formal method to choose:  we shall present and analyse  
        a range of mature methods  
  *     how to incorporate formal methods within the process of      
        systems development
  *     how to set up and measure the success of a pilot project      
        *    choosing an appropriate project                        
        *    structuring the development team                      
        *    obtaining specific expertise                          
        *    training existing staff  
  *     how to move on from the (successful) pilot project

The tutorial will focus on the object-oriented formal  
specification language Object-Z and will be supported by  
reference to the actual experiences of organisations which have  
introduced and used formal methods.

Roger Duke is Senior Lecturer in the Department of Computer  
Science at the University of Queensland. For the past 8 years he  
has worked on formal methods with particular emphasis on object-
oriented methods. He was one of the developers of the Object-Z  
formal specification language.

Paul Swatman is Associate Professor of Information Systems at
Swinburne University.  Since 1989, he has been undertaking
research into the commercial application of formal specification
techniques within the Information Systems domain.

B4 Brian Henderson-Sellers    

   Some issues in OO project management
   Tuesday, November 29, 1:30 - 5:30

Project management of a software systems development is an
essential component of developing a competitive advantage based
on quality products. In this tutorial, the role of project
management, reuse strategies, library management techniques,
metrics collection and analysis, and migration paths will be
discussed. Organizational roles need to be re-evaluated within an
OO team and a solid reuse strategy developed for the
organization. The need for both process and product metrics will
also be explored at all phases in the lifecycle, including an
overview of both traditional and new metrics. Finally, migration
paths, supplemented by successful industry case studies, will be
evaluated.

Specifically, the tutorial will cover the following topics:
  *     Lifecycle model o A framework for project management
  *     Deliverables
  *     Team structure and organizational roles
  *     Developing a reuse strategy
  *     Library management
  *     Tool support
  *     The role of metrics within the lifecycle model
  *     Traditional and new metrics  for object systems
  *     Evaluation of reuse benefits (ROI model)
  *     Migration paths and Industry case study examples

Brian Henderson-Sellers is Professor of Information Systems and
Director of the Centre for Object Technology Applications and
Research (COTAR) in the School of Computing Sciences at the
University of Technology, Sydney (UTS). His current research
interests include object-oriented systems development
methodologies and notation; and implementations of the object-
oriented paradigm in the commercial environment (metrics, project
management and migration paths). He is author of two books on
object technology, Convenor of the Object-Oriented Special
Interest Group of the Australian Computer Society (NSW Branch)
and Chairman of the Computerworld Object Developers' Awards
committee for ObjectWorld 94 (Sydney). Brian is also Regional
Editor of the international journal Object-Oriented Systems and
on the editorial board of Object Magazine.

NOVEMBER 30 & DECEMBER 1

TECHNICAL SESSIONS                                                        

A1: OO KNOWLEDGE ENGINEERING, SIMULATION

    Objects and Constraints: a Constraint based Approach to
    Plan Drawing
    J. Hosking, W. Mugridge, S. Blackmore, University of
    Auckland (New Zealand)

    Representing Knowledge in the Object-Oriented Life-cycle
    Jean Bezivin, Jerome Lanneluc, Richard Lemesle, ERTO,
    University of Nantes, (France)

    ROO: Rules and Object-Orientation    
    Liping Zhao, Central Queensland University (Australia);
    Edward Foster, Class Software Construction (UK)

    Eunice Adaptive Components: Modeling External Objects in
    Control Systems    
    Kawata, Kobayashi, Yabu, Onogawa, Kawase, Kozuka, Maekawa,
    University of Electro-Communications, Tokyo (Japan)  

    A Kernel Mechanism for Simulating an Object-Oriented Process
    Sensitive Software Engineering Environment
    Min Kang, Douglas Grant, Swinburne University of Technology
    (Australia)

B1: OO METHODS, METRICS, MODELS

    Incorporating Roles into Moses
    Derek Renouf, Class Technology (Australia); Brian Henderson-
    Sellers, University of Technology, Sydney (Australia)

    The Methodology of Methodologies    
    Tim Menzies, University of NSW (Australia); Philip Haynes,
    State Bank of NSW (Australia)

    A Vizualization System for Object-Oriented Programs
    Stephen Fenwick, Australian National University; John
    Hosking, Warwick Mugridge, University of Auckland (New
    Zealand)

    Modeling Activities in Eiffel and C++
    Bent Bruun Kristensen, Aalborg University (Denmark); Daniel
    Chien-Meng May Monash University (Australia)

    The Effect of Class Coupling on Class Size in
    Smalltalk Systems    
    Philip Haynes State Bank of NSW (Australia); Tim Menzies
    University of NSW (Australia)

A2: OO TECHNOLOGY TRANSFER, LEARNING, ANALYSIS

    Experiences with Eiffel and C++ in Teaching Object-Oriented
    Programming    
    Richard Thomas, Queensland University of Technology
    (Australia)

    Object-Orientation for an Expert System: a Case of
    Analysis    
    Jocelyn Armarego, Curtin University of Technology (Australia)

    A Comparison of Practitioner and Educator Experience in
    Object-Oriented Training    
    Martin{*filter*}, Anne Rouse, Monash University (Australia)

    The Object-Oriented Paradigm  
    Peter McKenzie, Monash University (Australia)

A3: OO FORMAL METHODS, CONCURRENCY

    Introducing Priorities into a C++ based Actor Language for
    Multithread Machines    
    Gilles Fouquier, Francois Terrier, French Atomic Energy
    Agency (France)

    Object VDM    
    Wei Ming Yan,University of Queensland (Australia); Douglas
    Grant, Swinburne University of Technology (Australia)

    Class Types as Sets of Classes in Object-Oriented Formal
    Specification Languages    
    Chen Jian, Monash University (Australia)

    Modelling Reactive Objects in Conceptual Graphs
    Steve Callaghan, James Ricketts, Gerard Ellis, Royal
    Melbourne Institute of Technology (Australia)

B3: REUSE, CLASS LIBRARY MANAGEMENT, TOOLS

    ODBMS Considerations in the  Granularity of a Reusable OO
    Design    
    Bhuvan Unhelkar, Dow Jones Telerate (Australia); Brian
    Henderson-Sellers, University of Technology (Australia)

    Parameterization vs Inheritance    
    Thomas Kuehne, Technical University of Darmstadt (Germany)

    An Object-Oriented Specification Tool in Computer
    Networks    
    Maria  Almeida, Carlos Heuser, Liane Tarouco, Federal
    University of Rio Grande (Brazil)

    Melmoth - A Class Library Management System    
    Michael Hitchens, Paul English, Farhad Maroufi, University of
    Western Sydney, Nepean (Australia)

PANELS
Business Forum
Software Reuse
OO Education & Training

DEBATES
The Language users debate - industrial users defend their
language of choice: Ada, C++, Eiffel, Sather, Smalltalk

Software Patents: promise or disaster?

SOCIAL PROGRAM
Monday     6:00 pm - 8:00 pm  Reception (venue to be announced)
Wednesday  8:00 pm - 10:00 pm  Conference dinner

REGISTRATION

FEES
                            Before Nov 4       Nov 4 or later
Tutorials  
Regular Registration        $690               $790      
Full Time Academic          $450               $500      
Full Time Student           $200               $250  

Conference only (two days)    
Regular Registration        $360               $420  
Full Time Academic          $250               $300      
Full Time Student           $120               $150

Tutorials and conference (Four day package)    
Regular Registration        $980               $1120    
Full Time Academic          $690               $790      
Full Time Student           $300               $350      
(Student fees do not cover the cost of conference lunches and
 the conference dinner)

Prices marked "before November 4" apply only if payment is  
received before that date.

Prices include  a copy of the tutorial notes for each tutorial
attended, a copy of the conference proceedings (if registered for
the conference part) breaks, lunches, special event on November
28 and the conference dinner as well as free access to the
Exhibition. Attention: special rate for Full Time Students does
not include lunches and the conference dinner.

Payment should be made in Australian Dollars by cheque (check) or
international money order to MONASH UNIVERSITY and accompany the
registration form. Substitutions will be accepted at any time.  
Written cancellations received by November 10 will be liable to a
50% service fee. After this date there will be no refund.

VENUE (Tutorials and Conference)

Monash Conference Centre  30 Collins St, Melbourne, Australia

-----------------------------------------------------------------
SEND PAYMENT (MADE OUT TO MONASH UNIVERSITY) AND THIS
REGISTRATION FORM TO:

MONASH UNIVERSITY
Department of Software Development  
PO Box 197
Caulfield East
VIC   3145
Australia

Phone:  +61 3 903 2787
FAX:    +61 3 903 2745

Last Name _________________________________
First Name______________________
Company Name _______________
Company Address_________________________________
City ___________________________ Post/Zip Code ____________
Country_______________
Phone ______________________ Fax __________________
email____________________

I wish to attend (Please tick):
[ ]  Conference only          ____________ A$  
[ ]  Tutorials                ____________ A$
[ ]  Four day pack            ____________ A$
[ ]  Extra Dinners ($50)      ____________ A$
[ ]  Extra Social event ($20) ____________ A$
     TOTAL AMOUNT             ____________ A$

Tutorial choice (please circle the tutorials you wish to attend):

NOVEMBER 28, 1994
  Morning:  
   A1-Jacobson  L1-Mckim       S1-Rao        B1-Murphy

  Aftermoon:
   A2-Jacobson  L2-Thompson    S2-Potter     B2-Steele

NOVEMBER 29, 1994
  Morning:
   A3-Walden    L3-Cho         S3-Lalit/Lee   B3-Duke/Swatman

  Afternoon:
   A4-McKim     L4-Schmidt     S4-Richardson  B4-Henderson-Sellers

----------------------------------------------------------------

                    HOTEL RESERVATION FORM

        (TOOLS Pacific '94 November 28 - December 1, 1994)

LAST NAME _______________________________________________

FIRST NAME ______________________________________________

ADDRESS _________________________________________________

CITY ______________________ (POST/ZIP CODE) ____________

COUNTRY ____________ PHONE ______________________

FAX ________________ E-MAIL _____________________

Date of arrival: _________ Date of departure: ________

Number of persons: _______ Number of nights: _________

[ ] Single                 [ ]  Double  
 (1 person)                (2 persons)

-----------------------------------------------------------------

                 HOTELS AND PRICE CATEGORIES

We have arranged special rates with the following hotels which
are within walking distance of conference centre

 **** Hotel Windsor      |  Phone: +61 3 653 06533  | A$155  
      Spring St, City    |  Fax:   +61 3 657 0765   |
 ***  Novotel on Collins |  Phone: +61 3 650 5800   | A$105  
      Collins St, City   |  Fax:   +61 3 650 7100   |    
 ***  Sheraton Hotel     |  Phone: +61 3 650 5000   | A$95
      Spring St, City    |  Fax:   +61 3 650 9622   |

Please fax the above form as soon as possible to the hotel of
your choice. You will receive a confirmation of your reservation
directly from the hotel. Payment instructions will appear on the
acknowledgment sent back to you.

--------------------------------------------------------------------
_____________________end of program_________________________________



Sat, 22 Mar 1997 10:50:06 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. TOOLS Pacific 94 Final Program

2. TOOLS Pacific 94 Final Program

3. TOOLS Pacific 94 Final Program

4. TOOLS Pacific 94 Final Program

5. Final CFP: ACM SAC'94 Programming Languages Track

6. Final CFP: SAC '94 Programming Languages Track

7. ICLP'94: Final Program and Registration (Italy, Jun 13-18)

8. Final CFP: ACM SAC'94 Programming Languages Track

9. TOOLS program available on the Web (Re: Final Program - TOOLS USA 95)

10. TOOLS program available on the Web (Re: Final Program - TOOLS USA 95)

11. TOOLS program available on the Web (Re: Final Program - TOOLS USA 95)

12. Tools Assessment 94 symposium -- revised program

 

 
Powered by phpBB® Forum Software