Proceedings, Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 : September 11-14, 2000, Tokyo, Japan / sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing, in cooperation with Information Processing Society of Japan, Institute of Electronics, Information and Communication Engineers of Japan (IEICE), Japan Society for Software Science and Technology.

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society.

IEEE Computer Society. Technical Committee on Complexity in Computing.

Nihon Sofutowea Kagakkai.

Jōhō Shori Gakkai (Japan)

Denshi Jōhō Tsūshin Gakkai (Japan)

Conference Name:

IEEE International Conference on Engineering of Complex Computer Systems (6th : 2000 : Tokyo, Japan)

Language:

English

Subjects (All):

System design--Congresses.

System design.

Systems engineering--Congresses.

Systems engineering.

Computer engineering--Congresses.

Computer engineering.

Genre:

Conference papers and proceedings.

Physical Description:

xiii, 240 pages : illustrations

Other Title:

Sixth IEEE International Conference on Engineering of Complex Computer Systems

Engineering of complex computer systems

ICECCS 2000

Engineering of Complex Computer Systems, 2000, ICECCS 2000, proceedings, Sixth IEEE International Conference on.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, [2000]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Complexity: Concept, Causes and Control / John A. McDermid 2

Reactive Systems / Jin Song Dong

Managing Complexity in Real-Time Reactive Systems / V. Alagar, O. Ormandjieva, M. Zheng 12

Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini, M. Bruno, P. Nesi 25

Dependability Engineering of Complex Computing Systems / M. Kaaniche, J.-C. Laprie, J.-P. Blanquart 36

Session 1 System Modeling / Jeff A. Offutt

Domain Modeling of Software Process Models / H. Gomaa, L. Kerschberg, G. Farrukh 50

Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / H. Gomaa, S. Liu, M. Shin 61

Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff, J. Rash, M. Hinchey 72

Session 2 Special Session: Network Software I / Yasushi Wakahara

Engineering Software for the Net / Mauro Pezze

Session 1 Systems Development / Paolo Nesi

Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama 82

An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov, A. Stoyen 94

Using the Right Tool for the Job / W. Howerton, M. Hinchey 105

Session 2 Special Session: Network Software II / Tadashi Ohta

Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi, A. Miura, M. Yoshimi 118

Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara, H. Ohnishi, Y. Takagi 120

Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue, Y. Kakuda 122

PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin

Closing Address / Yoshiaki Kakuda

Invited Speech / Shaoying Liu

Overcoming Software Complexity by Constructing Abstraction Hierarchies

The Principles and Applications / Tosiyasu L. Kunii, Masayuki Hisada 126

Session 1 Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi

Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes, P. Eles, Z. Peng 134

Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama, H. Honda, T. Yuba 143

Concurrent Programming Made Easy / R. Ramirez, A. Santosa, R. Yap 151

Session 2 Special Session: Formal Engineering Method

SOFL / Shaoying Liu

SOFL Language and Method for Software Development / S. Liu

Reusable Semantics for SOFL / J. Dong

Generating Test Data from SOFL Specifications / J. Offutt

Software Verification, Management, and Business Application Using SOFL / H. Tomioka, F. Nagoya

Dynamically Detecting Relevant Program Invariants / David Notkin 162

Testing and Verification / Jim Woodcock

A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou, L. Ling 164

An Analysis Tool for Coupling-Based Integration Testing / J. Offutt, A. Abdurazik, R. Alexander 172

Evaluation of Three Specification-Based Testing Criteria / A. Abdurazik, P. Ammann, W. Ding, J. Offutt 179

Automated Result Verification with AWK / B. Bakar, T. Janowski 188

Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Takuya Katayama 200

Communication and Control Systems / Kenji Toda

Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda, T. Ohta 202

A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi, S. Hiraike, S. Inoue, Y. Kakuda, K. Toda 210

New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / S. Inoue, Y. Kakuda, M. Terabe 218

Cost Models for Electronic Architecture Trade Studies / J. Axelsson 229

Panel

Software Complexity of the Net / Mauro Pezze.

Notes:

"IEEE Computer Society order number PR00583"--T.p. verso.

"IEEE order plan catalog number PR00583"--Cover, p. 4.

Includes bibliographical references and author index.

ISBN:

076950583X

9780769505831

0769505848

9780769505848

0769505856

9780769505855

OCLC:

45134952

Access Restriction:

Restricted for use by site license.