CSDL - Proceedings I

Organizing Committee (PDF)

pp. x

Program Committee (PDF)

pp. xi

Reviewers (PDF)

pp. xiii

Invited Speech

Complexity: Concept, Causes and Control (Abstract)

J.A. McDermid, York Univ., UK

pp. 0002

PDF

Reactive Systems

Managing Complexity in Real-Time Reactive Systems (Abstract)

V.S. Alagar, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

O. Ormandjieva, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

M. Zheng, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

pp. 0012

PDF

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

P. Bellini, Dept. of Syst. & Inf., Firenze Univ., Italy

M.A. Bruno, Dept. of Syst. & Inf., Firenze Univ., Italy

P. Nesi, Dept. of Syst. & Inf., Firenze Univ., Italy

pp. 0025

PDF

Dependability Engineering of Complex Computing Systems (Abstract)

M. Kaaniche, 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

J.-P. Blanquart, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France

pp. 0036

PDF

Session 1 - System Modeling

Domain Modeling of Software Process Models (Abstract)

H. Gomaa, George Mason Univ., Fairfax, VA, USA

L. Kerschberg, George Mason Univ., Fairfax, VA, USA

G.A. Farrukh, George Mason Univ., Fairfax, VA, USA

pp. 0050

PDF

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

H. Gomaa, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA

Shaoying Liu, 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

PDF

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

C. Rouff, NASA Goddard Space Flight Center, Greenbelt, MD, USA

J. Rash, NASA Goddard Space Flight Center, Greenbelt, MD, USA

M.G. Hinchey, NASA Goddard Space Flight Center, Greenbelt, MD, USA

pp. 0072

PDF

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

PDF

An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application (Abstract)

P.V. Petrov

A.D. Stoyen

pp. 0094

PDF

Using the Right Tool for the Job (Abstract)

W.G. Howerton, Air Force Weather Agency, Offutt Air Force Base, NE, USA

M.G. Hinchey, Air Force Weather Agency, Offutt Air Force Base, NE, USA

pp. 0105

PDF

Session 2 - Special Session: Network Software II

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

R. Takeuchi, Inf. Sharing Platform Labs., NTT, Tokyo, Japan

A. Miura, Inf. Sharing Platform Labs., NTT, Tokyo, Japan

M. Yoshimi, Inf. Sharing Platform Labs., NTT, Tokyo, Japan

pp. 0118

PDF

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

T. Ihara, NTT Network Service Syst. Labs., Tokyo, Japan

H. Ohnishi, NTT Network Service Syst. Labs., Tokyo, Japan

Y. Takagi, NTT Network Service Syst. Labs., Tokyo, Japan

pp. 0120

PDF

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

S. Inoue, Fac. of Inf. Sci., Hiroshima City Univ., Japan

Y. Kakuda, Fac. of Inf. Sci., Hiroshima City Univ., Japan

pp. 0122

PDF

PNNI Data Management for Dynamic Routing in ATM Network

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

T.L. Kunii, Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan

M. Hisada, Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan

pp. 0126

PDF

Session 1 - Embedded, Concurrent, and Distributed Systems

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

L.A. Cortes, Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden

P. Eles, Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden

Zebo Peng, Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden

pp. 0134

PDF

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

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

T. Yuba, Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan

pp. 0143

PDF

Concurrent Programming Made Easy (Abstract)

R. Ramirez, Sch. of Comput., Nat. Univ. of Singapore, Singapore

A.E. Santosa, Sch. of Comput., Nat. Univ. of Singapore, Singapore

R.H.C. Yap, Sch. of Comput., Nat. Univ. of Singapore, Singapore

pp. 0151

PDF

Session 2 - Special Session: Formal Engineering Method - SOFL

Software Verification, Management, and Business Application Using SOFL

Dynamically Detecting Relevant Program Invariants (Abstract)

David Notkin

pp. 0162

PDF

Testing and Verification

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

Miao Huaikou, Sch. of Comput. Eng. & Sci., Shanghai Univ., China

Liu Ling, Sch. of Comput. Eng. & Sci., Shanghai Univ., China

pp. 0164

PDF

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

A.J. Offutt, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA

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

pp. 0172

PDF

Evaluation of Three Specification-Based Testing Criteria (Abstract)

A. Abdurazik, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA

P. Ammann, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA

Wei Ding, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA

J. Offutt, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA

pp. 0179

PDF

Automated Result Verification with AWK (Abstract)

B.A. Bakar, Int. Inst. for Software Technol., United Nations Univ., Macau

T. Janowski, Int. Inst. for Software Technol., United Nations Univ., Macau

pp. 0188

PDF

Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles (Abstract)

Takuya Katayama

pp. 0200

PDF

Communication and Control Systems

Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services (Abstract)

T. Yoneda, Soka Univ., Tokyo, Japan

T. Ohta, Soka Univ., Tokyo, Japan

pp. 0202

PDF

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

F. Nakanishi, Dept. of Comput. Eng., Hiroshima City Univ., Japan

S. Hiraike, Dept. of Comput. Eng., Hiroshima City Univ., Japan

S. Inoue, Dept. of Comput. Eng., Hiroshima City Univ., Japan

Y. Kakuda, Dept. of Comput. Eng., Hiroshima City Univ., Japan

K. Toda, Dept. of Comput. Eng., Hiroshima City Univ., Japan

pp. 0210

PDF

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

S. Inoue, Fac. of Inf. Sci., Hiroshima City Univ., Japan

Y. Kakuda, Fac. of Inf. Sci., Hiroshima City Univ., Japan

M. Terabe, Fac. of Inf. Sci., Hiroshima City Univ., Japan

pp. 218

PDF

Cost Models for Electronic Architecture Trade Studies (Abstract)

Jakob Axelsson, Volvo Technological Development Corp., G?teborg, SWEDEN

pp. 0229

PDF

Panel - Software Complexity of the Net

Author Index (PDF)

pp. 240