close
1.

図書

図書
sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing ; in cooperation with Information Processing Society of Japan ... [et. al.] ; supported by IEICE Communication Society Technical Committee on Network Revolution and Software
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2000  xiii, 240 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Organizing Committee
Program Committee
Reviewers
Tutorial
Timed Multi-Threaded Formal Object Modeling Techniques / Jin Song Dong
Application of Formal Methods to Railway Systems / Jim Woodcock
Global Information Processing Technology
Opening Address / Kenji Ohmori
Invited Speech
Complexity: Concept, Causes and Control / John A. McDermid
Reactive Systems
Managing Complexity in Real-Time Reactive Systems / V. Alagar ; O. Ormandjieva ; M. Zheng
Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini ; M. Bruno ; P. Nesi
Dependability Engineering of Complex Computing Systems / M. Kaaniche ; J.-C. Laprie ; J.-P. Blanquart
Parallel Sessions
System Modeling / Jeff A. OffuttSession 1:
Domain Modeling of Software Process Models / H. Gomaa ; L. Kerschberg ; G. Farrukh
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / S. Liu ; M. Shin
Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff ; J. Rash ; M. Hinchey
Special Session: Network Software I / Yasushi WakaharaSession 2:
Engineering Software for the Net / Tadashi Ohta ; Mauro Pezze
Systems Development / Paolo Nesi
Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov ; A. Stoyen
Using the Right Tool for the Job / W. Howerton
Special Session: Network Software II
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi ; A. Miura ; M. Yoshimi
Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara ; H. Ohnishi ; Y. Takagi
Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue ; Y. Kakuda
PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin
Closing Address / Yoshiaki Kakuda
Overcoming Software Complexity by Constructing Abstraction Hierarchies--The Principles and Applications / Shaoying Liu ; Tosiyasu L. Kunii ; Masayuki Hisada
Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi
Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes ; P. Eles ; Z. Peng
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama ; H. Honda ; T. Yuba
Concurrent Programming Made Easy / R. Ramirez ; A. Santosa ; R. Yap
Special Session: Formal Engineering Method--SOFL
SOFL Language and Method for Software Development
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 / Alexander D. Stoyen ; David Notkin
Testing and Verification
A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou ; L. Ling
An Analysis Tool for Coupling-Based Integration Testing / A. Abdurazik ; R. Alexander
Evaluation of Three Specification-Based Testing Criteria / P. Ammann ; W. Ding
Automated Result Verification with AWK / B. Bakar ; T. Janowski
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Tetsuo Tamai ; Takuya Katayama
Communication and Control Systems / Kenji Toda
Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda ; T. Ohta
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi ; S. Hiraike ; K. Toda
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / M. Terabe
Cost Models for Electronic Architecture Trade Studies / J. Axelsson
Panel--Software Complexity of the Net
Author Index
Introduction
Organizing Committee
Program Committee
2.

図書

図書
Comp Euro 88, Brussels, April 11-14, 1988, Campus V.U.B. (Vrije Universiteit Brussel) ; sponsored by Computer Society of the IEEE ... [et al.] ; supported by Vrije Universiteit Brussel ... [et al.]
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  ix, 369 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xi, 253 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  ix, 179 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  viii, 151 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
edited by Hesham El-Rewini . edited by Yale N. Patt
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xvii, 766 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 1
所蔵情報: loading…
7.

図書

図書
edited by Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xiii, 720 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 5
所蔵情報: loading…
8.

図書

図書
edited by Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  ix, 275 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 6
所蔵情報: loading…
9.

図書

図書
sponsored by IEEE Computer Society ... [et al.] ; edited by Don Thomas and Rolf Ernst
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  ix, 141 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
edited by Veljko Milutinovic . edited by Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xv, 831 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼