close
1.

図書
図書
1. Proceedings of International Symposium on Ferrites in Asia '97 (ISFA '97) : Symposium J of IUMRS-ICA-97 : September 16-18, 1997, Makuhari, Chiba, Japan
Sponsored by the Materials Research Society of Japan and the Magnetics Society of Japan ; in cooperation with the Institute of Electrical Engineers of Japan ... [et al.]
出版情報: Tokyo : Magnetics Society of Japan, c1998  xvi, 455 p. ; 30 cm
シリーズ名: Journal of the Magnetics Society of Japan ; vol. 22, supplement, no. S1(1998)
所蔵情報: loading…
2.

図書
図書
2. Extended abstracts of ths 20th (1988 International) Conference on Solid State Devices and Materials, August 24-26, 1988, Tokyo, Keio Plaza Hotel
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, Japan : Business Center for Academic Societies Japan, c1988  ix, 679 p. ; 31 cm.
所蔵情報: loading…
3.

図書
図書
3. 2002 International Conference on Simulation of Semiconductor Processes and Devices : SISPAD 2002, September 4-6, 2002, International Conference Center Kobe, Kobe, Japan
co-sponsored by Japan Society of Applied Physics, IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers, IEEE EDS Japnan [i.e. Japan] Chapter, IEEE EDS Kansai Chapter
出版情報: Tokyo : Business Center for Academic Societies Japan , Piscataway, N.J. : IEEE Service Center, c2002  xiv, 284 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings, sixth IEEE International Conference on Engineering of Complex Computer Systems : ICECCS 2000, September 11-14, 2000, Tokyo, Japan (: case)
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
5.

雑誌
雑誌
5. The Transactions of the Institute of Electronics, Information and Communication Engineers
Institute of Electronics, Information and Communication Engineers, Japan. Technical Committee on Fault-Tolerant Systems ; 電子情報通信学会
出版情報: Tokyo : Institute of Electronics, Information and Communication Engineers, [c1987]-1990  v. ; 28 cm
巻次年月次: Vol. E70, no. 1 (Jan. 1987)-v. E73, no. 12 (Dec. 1990)
所蔵情報: loading…
6.

図書
図書
6. Extended abstracts of the 17 th Conference on Solid State Devices and Materials, August 25-27, 1985, Tokyo, Nippon Toshi Center
Sponsored by the Japan Society of Applied Physics in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報: Tokyo, : Business Center for Academic Societies Japan, c1985  v, 470 p. ; 31 cm
所蔵情報: loading…
7.

図書
図書
7. Extended abstracts of the 1999 International Conference on Solid State Devices and Materials, September 21-24, 1999, Tokyo, Nihon Toshi Center Kaikan
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報: Tokyo : Japan Society of Applied Physics, c1999  xxxix, 599 p. ; 30 cm
所蔵情報: loading…
8.

図書
図書
8. Extended abstracts of the 2000 International Conference on Solid State Devices and Materials, August 29-31, 2000, Sendai, Sendai International Center
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報: Sendai : Japan Society of Applied Physics, c2000  xxxvii, 565 p. ; 30 cm
所蔵情報: loading…
9.

図書
図書
9. 1998 IEEE 16th International Semiconductor Laser Conference, 4-8 October 1998, Nara, Japan (: soft. ; : case.)
sponsored by the IEEE Lasers and Electro-Optics Society, the IEICE/Electronics Society, and the Japan Society of Applied Physics
出版情報: Piscataway, NJ : IEEE Service Center, c1998  xviii, 275 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. Extended abstracts of the 1997 International Conference on Solid State Devices and Materials,September 16-19, 1997, Hamamatsu, Act City Hamamatsu
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報: Tokyo : Japan Society of Applied Physics, c1997  xxxiii, 587 p. ; 30 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼