The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (1999)
Las Vegas, Nevada
Oct. 18, 1999 to Oct. 22, 1999
ISSN: 1050-4729
ISBN: 0-7695-0434-5
TABLE OF CONTENTS

Foreword (PDF)

pp. vii
Session 1: Collaboration and Distribution

Securing Internet Sessions with Sorbet (Abstract)

Scott A. Hissam , Carnegie Mellon University
Robert C. Seacord , Carnegie Mellon University
Fred Long , Carnegie Mellon University
John E. Robert , Carnegie Mellon University
pp. 2

A CSCW Framework for the Flexible Coupling of Groupware Widgets (Abstract)

Shing-Chi Cheung , Hong Kong University of Science and Technology
Paul Leung , Ernest & Young LLC
pp. 9

A General Purpose Virtual Collaboration Room (Abstract)

Jianhua Ma , The University of Aizu
Runhe Huang , The University of Aizu
pp. 21
Session 2: Representing Complex Systems and Processes

A Framework for Analyzing Configurations of Deployable Software Systems (Abstract)

Dennis Heimbigner , University of Colorado
Alexander L. Wolf , University of Colorado
Richard S. Hall , University of Colorado
pp. 32

UML + ROOM as a Standard ADL? (Abstract)

M. Schoenmakers , Munich University ofTechnology
B. Rumpe , Munich University ofTechnology
A. Schürr , University of the Federal Armed Forces at Munich
A. Radermacher , University of the Federal Armed Forces at Munich
pp. 43
Session 3: Performance and Tradeoff Analysis

Evaluating a Flexible Architecture for Distributed Control (Abstract)

M. Montanelli , University of Florence
P. Bellini , University of Florence
P. Nesi , University of Florence
M. Buonopane , University of Florence
pp. 66

Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models (Abstract)

Chun Jin , Florida International University
Yi Deng , Florida International University
Jiacun Wang , Florida International University
pp. 77

On Cost Function Synthesis for Multi-Objective Design Decisions in Complex Real-Time Systems (Abstract)

Roman Nossal , Vienna University of Technology
Alexander D. Stoyen , University of Nebraska-Omaha
Carlos C. Amaro , Lockheed Martin Government Electronic Systems
pp. 86
Session 4: Applying Formal Methods to Complex Systems

Formal Development and Validation of Java Dependable Distributed Systems (Abstract)

Avelino Francisco Zorzo , University of New Castle upon Tyne and PUCRS
Nicolas Guelfi , Institut Sup?rieur de Technologie
Giovanna Di Marzo Serugendo , Swiss Federal Institute of Technology
Alexander Romanovsky , University of New Castle upon Tyne
pp. 98

A Realistic Architecture for Timed Testing (Abstract)

Hacène Fouchal , Universit? de Reims Champagne-Ardenne
Eric Petitjean , Universit? de Reims Champagne-Ardenne
pp. 109

Criteria for Generating Specification-Based Tests (Abstract)

A Jefferson Offutt , George Mason University
Yiwei Xiong , George Mason University
Shaoying Liu , Hiroshima City University
pp. 119
Session 5: Industrial Experience Reports

Lessons Learned from Wrapping Systems (Abstract)

Christopher Landauer , The Aerospace Corporation
Kirstie L. Bellman , The Aerospace Corporation
pp. 132

Practical Considerations in Protocol Verification: The E-2C Case Study (Abstract)

Stephanie M. White , Long Island University
Eugene W. Stark , State University of New York at Stony Brook
Yifei Dong , State University of New York at Stony Brook
Scott A. Smolka , State University of New York at Stony Brook
pp. 153
Keynote Speakers

Developing More Reliable Software Faster and Cheaper (Abstract)

John D. Musa , Software Reliability Engineering and Testing Courses
pp. 162
Tutorials

Author Index (PDF)

pp. 185
97 ms
(Ver 3.1 (10032016))