close
1.

図書

図書
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…
2.

図書

図書
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
3.

図書

図書
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…
4.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2005-2014  冊 ; 30cm
巻次年月次: SR2005-1〜18 (2005. 5)-SR2013-96〜119 (2014. 3) = Vol. 105, no. 36 (2005. 5)-v. 113, no. 457 (2014. 3)
所蔵情報: loading…
5.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2005-  冊 ; 30cm
巻次年月次: RECONF2005-1〜14 (2005. 5)- = Vol. 105, no. 42 (2005. 5)-
所蔵情報: loading…
6.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2007-2013  冊 ; 30cm
巻次年月次: AN2007-1〜14 (2007.5)-AN2012-72-AN2012-79 (2013.3.14〜15) = Vol. 107, no. 29 (2007.5)-v. 112, no. 494 (2013.3.14〜15)
所蔵情報: loading…
7.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2007-2013
巻次年月次: USN2007-1〜21 (2007.5)-USN2012-56-USN2012-75 (2013.1.24〜25) = Vol. 107, no. 53 (2007.5.)-v. 112, no. 406 (2013.1.24〜25)
所蔵情報: loading…
8.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2008.5-  冊 ; cm
巻次年月次: ICM2008-1〜23 (2008.5)- = Vol. 108, no. 24 (2008.5)-
所蔵情報: loading…
9.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2009.5-  冊 ; 30cm
巻次年月次: ICSS2009-1〜8 (2009.5)- = Vol. 109, no. 33 (2009.5)-
所蔵情報: loading…
10.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2009.5-  冊 ; 30cm
巻次年月次: LOIS2009-1–LOIS2009-8 (2009)-
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼