close
1.

図書
図書
1. Proceedings of the sixth annual IEEE International Workshop on Workload Characterization, WWC-6, October 27, 2003, Austin, Texas
sponsored by IEEE Computer Society and the Technical Committee on Computer Architecture
出版情報: Piscataway, N. J. : IEEE, c2003  vi, 130 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002  xiii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
3.

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

図書
図書
4. Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982 : proceedings (: gw ; : us)
edited by E. Knuth and E.J. Neuhold
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983  152 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 152
所蔵情報: loading…
5.

図書
図書
5. Requirements and logical structures : NYU Symposium, New York, May 1978 (: gw ; : us)
edited by S.B. Yao ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, 1982  v, 227 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 132 . Data base design techniques ; 1
所蔵情報: loading…
6.

図書
図書
6. Physical structures and applications : proceedings, Tokyo, November 1979 (: gw ; : us)
edited by S.B. Yao and T.L. Kunii
出版情報: Berlin : Springer-Verlag, 1982  v p., p. 229-399 ; 25 cm
シリーズ名: Lecture notes in computer science ; 133 . Data base design techniques ; 2
所蔵情報: loading…
7.

図書
図書
7. Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 (: gw ; : us)
edited by G.C. van der Veer ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  269 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 178
所蔵情報: loading…
8.

図書
図書
8. Simulation and model-based methodologies : an integrative view (: Germany ; : U.S.)
edited by Tuncer I. Ören, Bernard P. Zeigler, Maurice S. Elzas
出版情報: Berlin ; Tokyo : Springer-Verlag : Published in cooperation with NATO Scientific Affairs Division, 1984  xiii, 651 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 10
所蔵情報: loading…
9.

図書
図書
9. Information systems design methodologies : a feature analysis : Proceedings of the IFIP WG 8.1 Working Conference on Feature Analysis of Information Systems Design Methodologies, York, U.K., 5-7 July, 1983
edited by T.W. Olle, H.G. Sol, C.J. Tully
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983  x, 266 p. ; 24 cm
所蔵情報: loading…
10.

図書
図書
10. People and computers : designing for usability : proceedings of the Second Conference of the British Computer Society, Human Computer Interaction Specialist Group, University of York, 23-26 September 1986
edited by M.D. Harrison, A.F. Monk
出版情報: Cambridge ; New York : Published by Cambridge University Press on behalf of the British Computer Society, 1986  xiii, 650 p. ; 24 cm
シリーズ名: The British Computer Society Workshop series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼