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
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.
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
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
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