Fifth IEEE International Conference on
Engineering of Complex Computer Systems

Sponsored by:
IEEE Computer Society
and the IEEE Computer Society Technical Committee on Complexity in Computing


Flamingo Hilton Hotel, Las Vegas, Nevada, October 18-21, 1999

Featuring keynote presentations by:
Alan Davis, Omni-Vista
Carlo Ghezzi, Computer Science Department, Politecnico di Milano
John Musa, International Senior Consultant, Software Reliability Engineering

The 1999 Software Engineering Standards Committeee (SESC) annual
meeting is colocated with ICECCS'99


Preliminary Advance Program
The 1999 Software Engineering Standards Committeee
Conference Registrations
Hotel Reservations


SCOPE: Complex computer systems are common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. These systems are frequently distributed over heterogeneous networks, and are driven by many diverse requirements on performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns, and other areas.  Such requirements frequently conflict, and their satisfaction therefore requires managing the trade-off among them during system development and throughout the entire system life.  The goal of this conference is to bring together industrial, academic, and government experts from a variety of user domains and software disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts  are all welcome.
Keynote Presentations:
Planning Complex Systems in a Business Context
Alan Davis,  Omni-Vista, USA

Complexity in Human Centered Systems: The Case of Software Processes
Carlo Ghezzi, Politecnico di Milano, Italy

Developing More Reliable Software Faster and Cheaper
John Musa, International Senior Consultant

Research Paper Track:
Session 1: Collaboration and Distribution
Securing Internet Sessions with Sorbet.
Fred Long, Scott A. Hissam, John Robert, and Robert C. Seacord, Software Engineering Institute, U.S.A.

A CSCW Framework for the Flexible Coupling of Groupware Widgets.
Paul Leung and Shing-Chi Cheung, Hong Kong University of Science and Technology, Hong Kong.

A General Purpose Virtual Collaboration Room.
Runhe Huang and Jianhua Ma, University of Aizu, Japan.

Session 2: Representing Complex Systems and Processes
A Framework for Analyzing Configurations of Deployable Software Systems.
Dennis Heimbigner, Richard S. Hall, and Alexander L. Wolf, University of Colorado, U.S.A.

UML + ROOM as a Standard ADL?
B. Rumpe, M. Schoenmakers, A. Radermacher, and A. Schürr, Technical University of Munich, Germany.

An Integrating Approach for Developing Distributed Software Systems - Combining Formal Methods, Software Reuse, and the Experience Base Concept.
Raimund L. Feldmann, Birgit Geppert, and Frank Rößler, University of Kaiserslautern, Germany.

Session 3: Performance and Tradeoff Analysis
Evaluating a Flexible Architecture for Distributed Control. 
P. Bellini, A. Buonopane, M. Montanelli, and P. Nesi, Special Electronic Design and University of Florence, Italy.

Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models.
Jiacun Wang, Chun Jin and Yi Deng, Florida International University, U.S.A.

On Cost Function Synthesis For Multi-Objective Design Decisions in Complex Real-Time Systems.
Carlos C. Amaro, Roman Nossal, and Alexander D. Stoyen, New Jersey Institute of Technology and University of Nebraska at Omaha, U.S.A.
Session 4: Applying Formal Methods to Complex Systems
Formal Development and Validation of Java Dependable Distributed Systems.
Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander Romanovsky, and Avelino Francisco Zorzo, University of Newcastle upon Tyne, U.K.

A Realistic Architecture for Timed Testing.
Eric Petitjean and Hacene Fouchal, Universite de Reims Champagne-Ardenne, France.

Criteria for Generating Specification-based Tests.
Jeff Offutt, Yiwei Xiong and Shaoying Liu, George Mason University, U.S.A., and Hiroshima City University, Japan.

Industrial Experience Report Track:
Lessons Learned From Wrapping Systems.
Christopher Landauer, Kirstie L. Bellman, The Aerospace Corporation, U.S.A.

A CORBA-Based Architecture for Integrating Distributed and Heterogeneous Databases.
Xuequn Wu, Deutsche Telekom AG, Germany.

Practical Considerations in Protocol Verification: The E-2C Case Study.
Yifei Dong, Scott A. Smolka, Eugene W. Stark, and  Stephanie M. White, Long Island University, U.S.A.

Complexity Measurement
Panel Chair - Paolo Nesi, University of Florence, Italy.
Other Panels, State of the Art Presentations:
To be announced

ICECCS'99 Conference Chairs
General Chair:
John Harauz, Ontario Power Generation, Inc.

Vice General Chair:
Sten F. Andler, University of Skövde, Sweden

Program Co-Chairs:
Michal Young. University of Oregon, USA

Shaoying Liu , Hiroshima City University, Japan

Steering Committee Chair:
Alexander D. Stoyen


The 1999 Software Engineering Standards Committeee (SESC) annual meeting is colocated with ICECCS'99. SESC attendees will be allowed to participate in ICECCS keynote speaker sessions for free. If they wish they can participate in ICECCS'99 social activities by purchasing reception and banquet tickets at incremental cost. There are no registration requirements for SESC meeting attendees as the meeting is separate, and parallel, to the ICECCS'99 sessions. Hotel registration though,  must be made using the ICECCS'99 registration form.For more detailed information on SESC activities please visit


Software Reliability Engineering 
John Musa, International Senior Consultant
(Full Day)
This tutorial quickly, efficiently teaches you step by step the essentials of how to apply the standard, proven, widespread best practice of Software Reliability Engineering (SRE) to your project.  SRE helps you develop and test more reliable software faster and cheaper.  SRE is based on two powerful ideas: (1) Quantitatively characterize expected use and then focus resources on most used and/or most critical functions.  This increases development efficiency and hence effective resource pool available to add customer value to product. (2) Further increase customer value by setting quantitative reliability objectives that precisely balance customer needs for reliability, timely delivery, and cost; engineer project strategies to meet them; and track reliability in test as a release criterion You can apply SRE to the next release of any system / component that uses software.
Using Design Patterns, Frameworks and CORBA to Reduce the Complexity of Developing  Reusable Large-Scale Object-Oriented Concurrent Communication Components and Systems 
Douglas C. Schmidt, Washington University in St. Louis, USA
(Full Day)
Developing high quality communication software is hard; developing high quality reusable communication software is even harder. The principles, methods, and skills required to develop reusable software cannot be learned by generalities. Instead, developers must learn through experience how reusable software components and frameworks can be designed, implemented, optimized, validated, maintained, and enhanced by applying good development practices and patterns.
This tutorial describes OOD/OOP techniques and software that have been successfully used to reduce the complexity of developing large-scale concurrent communication systems, including online transaction processing, telecommunication call-processing, network management for large-scale global personal communication systems, electronic medical imaging systems, real-time avionic systems, and high-performance parallel communication protocol stacks, among others. Two types of software complexity are addressed: complexity due to quality of service (QoS) requirements and
complexity due to functional and quality requirements.
The techniques that can significantly simplify and enhance the development, use, and reuse of communication software include object-oriented design (such as patterns, layered modularity, and information hiding), C++ language features (such as abstract classes, inheritance, dynamic binding, and parameterized types), tools (such as object-oriented communication frameworks) and Object Reuse Brokers (ORBs), advanced operating system mechanisms (such as event de-multiplexing, multi-threading, multi-processing, and explicit dynamic linking), and emerging standards for distributed object computing such as OMG CORBA and Distributed COM (DCOM).
Implementing Large-Scale Systems Using COTS
Mark Vigder and John Dean, National Research Council of Canada, Canada
(Half Day)
This tutorial identifies some of the issues associated with the use of commercial off-the-shelf (COTS) software in long-lived complex computer systems, and describes tools and techniques in acquiring, developing and managing such systems.  The discussions will focus on the practical aspects of management and implementation of these systems. The course is applicable to researchers, developers and managers. 
This tutorial is organized in three sessions. The first session looks at how architectural issues impact the long-term operational management of a COTS based system. By properly designing a system, the operational costs can be reduced over a system's lifetime. The second session is devoted to consideration of options in evaluating candidate COTS products for use as sub-components of major systems.  I will discuss current proposed methodologies and will point out advantages and disadvantages of each.  I will look at possible tools to support evaluation in the context of the system to be developed. The third session highlights a set of desirable architectural properties for facilitating the operational management of a system. An inspection checklist for verifying the presence of these properties will be presented.
A Realistic Commercially Robust Process for the Development of Object-Oriented Software
Timothy Korson
(Half Day)
The successful use of object technology requires far more than simply the adaptation of UML, Java, CORBA, or ActiveX. It is crucial to understand  the process of how to use these notations and technologies to build commercially robust software systems. In this session the speaker draws from his experience at NASA, NORTEL, AT&T, IBM, and other leading companies to illustrate the pitfalls and best practices of the process of OO software development. Attendees walk through the complete development process from use case development to pattern application and coding. Participants gain a clear understanding of the distinction between domain models, application models, and architectures. The course goes beyond notation and cookbook methods to address the key principles of Object-Oriented Software  Development. A percentage of the time is spent discussing the rationale underlying each step of the process so that engineering concepts behind the specific techniques is presented. Several case studies are woven through the presentation.


ICECCS 99 Registration Fees

Full-time Students (*)
before 27 September
after 27 September
before 27 September
after 27 September
before 27 September
after 27 September
$ 475
$ 575
$ 625
$ 750
$ 210
$ 250
Tutorial Half Day
$ 210
$ 250
$ 250
$ 290
$ 210
$ 250
Tutorial Full Day
$ 300
$ 375
$ 375
$ 475
$ 300
$ 375
(*) Advisor signature required

Exhibitors must contact Anita Andler for information and fees

You may register via web, regular mail, or fax. The registration page is available for download or view here in pdf, or ps format. Please fax or mail this form with payment by 27 September 1999 to:

IEEE Computer Society
Attn: ICECCS'99 Registration
Dept. 6006
Washington, D.C. 20042-6006
Tel.: +1 202 371 1013 (Sorry, no phone registrations)
Fax: +1 202 728 0884




Flamingo Hilton Las Vegas
3555 Las Vegas Boulevard South
Las Vegas, Nevada 89109
Tel: +1 702 733 3111
(Reservations accepted from 8.30 a.m. to 5.00 p.m. CST)
           1 800 445 8667
Fax: +1 702 733 3353


ICECCS 99 Room Rates:

Single $ 99
Double $ 99

Hotel reservations can be made via regular mail, fax, or the toll free number provided above. Be sure to mention 'ICECCS 99' when placing your reservation to qualify for our attractive group rates. The registration page is also available for download or view here in pdf, and ps format.

Reservations must be made by Friday, 24 September 1999. Reservations made after this date are subject to availability of rooms and rates.

Alan Davis, Chief Executive Officer and founder of Omni-Vista, is recognized internationally as one of the world's foremost experts on software requirements and software project planning. He has written several acclaimed books (including 201 Principles of Software Development and Software Requirements: Objects, Functions and States), has authored over 100 papers, and has been consulting and providing workshops on software requirements and project planning for over 20 years. Dr. Davis is Editor-in-Chief-Emeritus of IEEE Software after serving as Editor-in-Chief from 1994 to 1998. Dr. Davis founded the IEEE Conference on Requirements Engineering and has been a fellow of the IEEE since 1994. Dr. Davis received his Ph.D. in Computer Science from the University of Illinois.

John Dean is an Associate Research Officer in the Software Engineering Group of the Institute of Information Technology, National Research Council of Canada, located in Ottawa, Ontario. He currently serves on the Advisory Committee of the Computer Science Department of Algonquin College of Applied Arts and Technology where he teaches Software Engineering. During his 22-year military career he has developed real-time software and Configuration Management systems for the Canadian Armed Forces. John has extensive experience in Real-time systems development, Software Engineering, Project Management and Configuration Management. Since joining the Software Engineering Group his interests include COTS software issues and Software Engineering education.  John earned a B. Sc. (Honours Mathematics and Physics) from the Royal Military College of Canada in 1980 and a Master of Mathematics (Computer Science) from the University of Waterloo in 1982. He also graduated from the Canadian Forces School of Aerospace and Ordnance Engineering as an Aerospace Engineer.

Carlo Ghezzi received his Dr. Eng degree in electrical engineering from  Politecnico di Milano, Italy, where he now holds the position of full professor of computer science. Presently, he is also a guest professor at USI, the University of Lugano, Switzerland. Prior to that, he taught at the Universities of Padova, Italy and North Carolina at Chapel Hill, United States. He has been a visitor at the University of California at Los Angeles and the University of California at Santa Barbara, ESLAI (Argentina), the University of Klagenfurt and the Technical University of Vienna-TUW (Austria). His research interests are in software engineering and programming languages. He is currently particularly interested in the theoretical, methodological, and technological issues involved in developing network-wide applications, with special focus on supporting geographically distributed cooperation among people. He is a co-author of over 120 scientific papers and eight books. Among these, Programming Language Concepts (co-author M. Jazayeri), John Wiley & Sons, New York, third edition, 1997; Fundamentals of Software Engineering (co-authors M. Jazayeri and D. Mandrioli), Prentice Hall, Englewood Cliffs, New Jersey, 1991; and Theoretical Foundations of Computer Science (co-author D. Mandrioli), John Wiley & Sons, New York, 1987. He has been program chair or co-chair of several international conferences, including the European Software Engineering Conference (ESEC-2); the IEEE Workshop on Software Specification and Design (IWSSD-6); the International Conference on Software Engineering (ICSE-14). He will be general chair of ICSE in the year 2000. He is a member of the Editorial Boards of Trends in Software, Theory and Practice of Object Systems, Software Process Improvement and Practice, and Annals of Software Engineering.

Timothy Korson is a senior partner of Software Architects, and the Dean of the School of Computing at Southern Adventist University.  Dr. Korson has extensive industrial experience in applying object-oriented techniques. Dr. Korson is co-author of the book Object Centers of Excellence, writes the management column for Component Strategies and is a frequent tutorial speaker at major conferences worldwide.

John D. Musa is an independent senior consultant in software reliability engineering. He has more than 20 years experience as software practitioner and manager in a wide variety of development projects. He is one of the creators of the field of software reliability engineering and is widely recognized as the leader in reducing it to practice. He was recently Technical Manager of Software Reliability Engineering (SRE) at AT&T Bell Laboratories, Murray Hill, NJ. He has been involved in SRE since 1973. His many contributions include the two most widely-used models (one with K. Okumoto), the concept and application of the operational profile, and the integration of SRE into all phases of the software development cycle. Musa has published some 100 articles and papers, given more than 175 major presentations, and made a number of videos. He is principal author of the widely-acclaimed pioneering book Software Reliability: Measurement, Prediction, Application and author of the new book Software Reliability Engineering: More Reliable Software, Faster Development and  Testing.

Doug Schmidt is an Associate Professor and Director of the Center for  Distributed Object Computing in the Department of Computer Science and in the Department of Radiology at Washington University in St. Louis, Missouri, USA. His research focuses on design patterns, implementation, and experimental analysis of object-oriented techniques that facilitate the development of high-performance, real-time distributed object computing systems on parallel processing platforms running over high-speed ATM networks and embedded system interconnects. Dr. Schmidt is an "internationally" recognized expert on distributed object computing and has published widely in top IEEE, ACM, IFIP, and USENIX technical conferences and journals. His publications cover a range of experimental systems topics including high-performance communication software systems, parallel processing for high-speed networking protocols, real-time distributed object computing with CORBA, and object-oriented design patterns for concurrent and distributed systems. Dr. Schmidt has served as guest editor for feature topic issues on Distributed Object Computing for the IEEE Communications Magazine and the USENIX Computing Systems Journal, and served as co-guest editor for the Communications of the ACM special issue on Design Patterns and the special issue on Object-Oriented Frameworks. In addition, he has co-editored a book entitled Pattern Languages of Program Design with James O. Coplien of Lucent Bell Labs. Dr. Schmidt has also served as the Editor-in-Chief of the C++ Report magazine and currently edits the Patterns++ section of C++ Report, where he also co-authors a column on distributed object computing with Steve Vinoski, Chief Architect of IONA Technologies' Orbix Object Request Broker. Dr. Schmidt is currently writing a book for Addison-Wesley on the topic of object-oriented network programming for a series edited by Bjarne Stroustrup of Bell Labs and John Wiley and Sons on the topic of design patterns for communication software for a series edited by Frank Buschmann of Siemens ZT. Dr. Schmidt served as the program chair for the 1996 USENIX Conference on Object-Oriented Technologies and Systems (COOTS) and the 1996 Pattern Languages of Programming conference. He has presented over 100 keynote addresses and tutorials on reusable design patterns, concurrent object-oriented network programming, and distributed object systems at many conferences including OOPSLA, the USENIX general technical conference, USENIX COOTS, ECOOP, IEEE Local Computer Networks, ACM PODC, IEEE ICNP, IEEE GLOBECOM, Object Expo, Component Users Conference, and C++ World. In addition to his academic research, Dr. Schmidt has over a decade of experience building object-oriented communication systems. He is the chief architect and developer of the ADAPTIVE Communication Environment (ACE), which is a widely used, freely-available object-oriented framework that contains a rich set of components that implement design patterns for high-performance and real-time communication systems. Dr. Schmidt has successfully used ACE on large-scale projects at Ericsson, Siemens, Motorola, Kodak, Lucent, Lockheed Martin, Boeing, and SAIC. These projects involve telecommunications systems, medical imaging systems, real-time avionic systems, and distributed interactive simulation systems. Dr. Schmidt and the members of his research group in the Center for Distributed Object Computing are currently using ACE to develop a high performance, real-time CORBA ORB endsystem called TAO (The ACE ORB). TAO is the first real-time ORB endsystem to support end-to-end Quality of Service guarantees over ATM networks. Dr. Schmidt received B.S. and M.A. degrees in Sociology from the College of William and Mary in Williamsburg, Virginia, and an M.S. and a Ph.D. in Computer Science from the University of California, Irvine (UCI) in 1984, 1986, 1990, and 1994, respectively. His Ph.D. advisor was Tatsuya Suda. Dr. Schmidt is a member of the IEEE, ACM, and USENIX.

Mark Vigder has been involved in developing software systems for over 20 years. During that time, he has worked with software as a practitioner, a teacher, and a researcher. He is currently a Research Officer with the National Research Council of Canada where he is exploring issues related to the development and management of long-lived, component based software systems. He has published a number of technical papers and provided tutorials on the architecture of these systems. Previous to his work at NRC he has worked on the design and development of numerous systems, including operating systems, application level communication protocols, and information systems. Dr. Vigder received his Bachelors of Science degree in mathematics from Queen's University, Kingston, Ontario, and his Masters of Engineering and Ph.D from Carleton University, Ottawa.