The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2000)
Tokyo, Japan
Sept. 11, 2000 to Sept. 15, 2000
ISBN: 0-7695-0583-X
TABLE OF CONTENTS

Introduction (PDF)

pp. ix

Reviewers (PDF)

pp. xiii
Invited Speech

Complexity: Concept, Causes and Control (Abstract)

J.A. McDermid , York Univ., UK
pp. 0002
Reactive Systems

Managing Complexity in Real-Time Reactive Systems (Abstract)

O. Ormandjieva , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
M. Zheng , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
V.S. Alagar , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 0012

Verification Criteria for a Compositional Model for Reactive Systems (Abstract)

M.A. Bruno , Dept. of Syst. & Inf., Firenze Univ., Italy
P. Nesi , Dept. of Syst. & Inf., Firenze Univ., Italy
P. Bellini , Dept. of Syst. & Inf., Firenze Univ., Italy
pp. 0025

Dependability Engineering of Complex Computing Systems (Abstract)

J.-P. Blanquart , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J.-C. Laprie , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
M. Kaaniche , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 0036
Session 1 - System Modeling

Domain Modeling of Software Process Models (Abstract)

L. Kerschberg , George Mason Univ., Fairfax, VA, USA
H. Gomaa , George Mason Univ., Fairfax, VA, USA
G.A. Farrukh , George Mason Univ., Fairfax, VA, USA
pp. 0050

Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language (Abstract)

Shaoying Liu , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
H. Gomaa , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
M.E. Shin , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
pp. 0061

Experience Using Formal Methods for Specifying a Multi-Agent System (Abstract)

M.G. Hinchey , NASA Goddard Space Flight Center, Greenbelt, MD, USA
C. Rouff , NASA Goddard Space Flight Center, Greenbelt, MD, USA
J. Rash , NASA Goddard Space Flight Center, Greenbelt, MD, USA
pp. 0072
Session 1 - Systems Development

Distributed Development of Complex Software Systems with Object Make (Abstract)

Y. Sugiyama , Dept. of Comput. Sci., Nihon Univ., Koriyama, Japan
pp. 0082

Using the Right Tool for the Job (Abstract)

M.G. Hinchey , Air Force Weather Agency, Offutt Air Force Base, NE, USA
W.G. Howerton , Air Force Weather Agency, Offutt Air Force Base, NE, USA
pp. 0105
Session 2 - Special Session: Network Software II

Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications (Abstract)

A. Miura , Inf. Sharing Platform Labs., NTT, Tokyo, Japan
M. Yoshimi , Inf. Sharing Platform Labs., NTT, Tokyo, Japan
R. Takeuchi , Inf. Sharing Platform Labs., NTT, Tokyo, Japan
pp. 0118

Mobile IP Route Optimization Method for a Carrier-Scale IP Network (Abstract)

Y. Takagi , NTT Network Service Syst. Labs., Tokyo, Japan
H. Ohnishi , NTT Network Service Syst. Labs., Tokyo, Japan
T. Ihara , NTT Network Service Syst. Labs., Tokyo, Japan
pp. 0120

Multiple Backup Virtual Paths Reservation Problem and Its Solution (Abstract)

Y. Kakuda , Fac. of Inf. Sci., Hiroshima City Univ., Japan
S. Inoue , Fac. of Inf. Sci., Hiroshima City Univ., Japan
pp. 0122
Invited Speech

Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications (Abstract)

M. Hisada , Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan
T.L. Kunii , Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan
pp. 0126
Session 1 - Embedded, Concurrent, and Distributed Systems

Definitions of Equivalence for Transformational Synthesis of Embedded Systems (Abstract)

P. Eles , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
L.A. Cortes , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
Zebo Peng , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
pp. 0134

Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing (Abstract)

T. Yuba , Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
H. Hirayama , Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
H. Honda , Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
pp. 0143

Concurrent Programming Made Easy (Abstract)

A.E. Santosa , Sch. of Comput., Nat. Univ. of Singapore, Singapore
R.H.C. Yap , Sch. of Comput., Nat. Univ. of Singapore, Singapore
R. Ramirez , Sch. of Comput., Nat. Univ. of Singapore, Singapore
pp. 0151
Session 2 - Special Session: Formal Engineering Method - SOFL
Invited Speech
Testing and Verification

A Test Class Framework for Generating Test Cases from Z Specifications (Abstract)

Liu Ling , Sch. of Comput. Eng. & Sci., Shanghai Univ., China
Miao Huaikou , Sch. of Comput. Eng. & Sci., Shanghai Univ., China
pp. 0164

An Analysis Tool for Coupling-Based Integration Testing (Abstract)

A. Abdurazik , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
R.T. Alexander , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
A.J. Offutt , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
pp. 0172

Evaluation of Three Specification-Based Testing Criteria (Abstract)

J. Offutt , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
P. Ammann , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
A. Abdurazik , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
Wei Ding , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
pp. 0179

Automated Result Verification with AWK (Abstract)

T. Janowski , Int. Inst. for Software Technol., United Nations Univ., Macau
B.A. Bakar , Int. Inst. for Software Technol., United Nations Univ., Macau
pp. 0188
Invited Speech
Communication and Control Systems

A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation (Abstract)

S. Inoue , Dept. of Comput. Eng., Hiroshima City Univ., Japan
F. Nakanishi , Dept. of Comput. Eng., Hiroshima City Univ., Japan
K. Toda , Dept. of Comput. Eng., Hiroshima City Univ., Japan
Y. Kakuda , Dept. of Comput. Eng., Hiroshima City Univ., Japan
S. Hiraike , Dept. of Comput. Eng., Hiroshima City Univ., Japan
pp. 0210

New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks (Abstract)

Y. Kakuda , Fac. of Inf. Sci., Hiroshima City Univ., Japan
S. Inoue , Fac. of Inf. Sci., Hiroshima City Univ., Japan
M. Terabe , Fac. of Inf. Sci., Hiroshima City Univ., Japan
pp. 218

Cost Models for Electronic Architecture Trade Studies (Abstract)

Jakob Axelsson , Volvo Technological Development Corp., G?teborg, SWEDEN
pp. 0229
Panel - Software Complexity of the Net

Author Index (PDF)

pp. 240
100 ms
(Ver )