close
1.

図書

図書
sponsored by IEEE Computer Society and the Technical Committee on Computer Architecture
出版情報: Piscataway, N. J. : IEEE, c2003  vi, 130 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002  xiii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
3.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Susanne Graf, Michael Schwartzbach (eds.)
出版情報: Berlin : Springer, c2000  xiv, 552 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1785
所蔵情報: loading…
目次情報: 続きを見る
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
An Extensible Type Systemfor Component-Based Design / Yuhong Xiong ; Edward A. Lee
Proof General: A Generic Tool for Proof Development / David Aspinall
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation / Michael Goedicke ; Bettina Enders ; Torsten Meyer ; Gabriele Taentzer
Formal Methods Tools
Consistent Integration of Formal Methods / Peter Braun ; Heiko Lötzbeyer ; Bernhard Schätz ; Oscar Slotosch
An Architecture for Interactive Program Provers / Jörg Meyer ; Arnd Poetzsch-Heffter
The PROSPER Toolkit / Louise A. Dennis ; Graham Collins ; Michael Norrish ; Richard Boulton ; Konrad Slind ; Graham Robinson ; Mike Gordon ; Tom Melham
CASL: From Semantics to Tools / Till Mossakowski
Timed and Hybrid Systems
On the Construction of Live Timed Systems / Sébastien Bornot ; Gregor Gößler ; Joseph Sifakis
On Memory-Block Traversal Problems in Model-Checking Timed Systems / Fredrik Larsson ; Paul Pettersson ; Wang Yi
Symbolic Model Checking for Rectangular Hybrid Systems / Thomas A. Henzinger ; Rupak Majumdar
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems / Farn Wang
Infinite and Parameterized Systems
Verification of Parameterized Systems Using Logic Program Transformations / Abhik Roychoudhury ; K. Narayan Kumar ; C.R. Ramakrishnan ; I. V. Ramakrishnan ; Scott A. Smolka
Abstracting WS1S Systems to Verify Parameterized Networks / Kai Baukus ; Saddek Bensalem ; Yassine Lakhnech ; Karsten Stahl
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems / J.-P. Bodeveix ; M. Filali
Transitive Closures of Regular Relations for Verifying Infinite-State Systems / Bengt Jonsson ; Marcus Nilsson
Diagnostic and Test Generation
Using Static Analysis to Improve Automatic Test Generation / Marius Bozga ; Jean-Claude Fernandez ; Lucian Ghirvu
Efficient Diagnostic Generation for Boolean Equation Systems / Radu Mateescu
Efficient Model-Checking
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems / Jean-Pierre Krimm ; Laurent Mounier
Checking for CFFD-Preorder with Tester Processes / Juhana Helovuo ; Antti Valmari
Fair Bisimulation / Sriram K. Rajamani
Integrating Low Level Symmetries into Reachability Analysis / Karsten Schmidt
Model-Checking Tools
Model Checking Support for the ASM High-Level Language / Giuseppe Del Castillo ; Kirsten Winter
A Markov Chain Model Checker / Holger Hermanns ; Joost-Pieter Katoen ; Joachim Meyer-Kayser ; Markus Siegle
Model Checking SDL with Spin / Dragan Bošnački ; Dennis Dams ; Leszek Holenderski ; Natalia Sidorova
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking / Ramesh Bharadwaj ; Steve Sims
Symbolic Model-Checking
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation / Luca de Alfaro ; Marta Kwiatkowska ; Gethin Norman ; David Parker ; Roberto Segala
Symbolic Reachability Analysis Based on SAT-Solvers / Parosh Aziz Abdulla ; Per Bjesse ; Niklas Eén
Symbolic Representation of Upward-Closed Sets / Giorgio Delzanno ; Jean-François Raskin
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems / Tevfik Bultan
Visual Tools
Tool-Based Specification of Visual Languages and Graphic Editors / Magnus Niemann ; Roswitha Bardohl
VIP: A Visual Editor and Compiler for v-Promela / Moataz Kamel ; Stefan Leue
Verification of Critical Systems
A Comparison of Two Verification Methods for Speculative Instruction Execution / Tamarah Arons ; Amir Pnueli
Partial Order Reductions for Security Protocol Verification / Edmund Clarke ; Somesh Jha ; Will Marrero
Model Checking Security Protocols Using a Logic of Belief / Massimo Benerecetti ; Fausto Giunchiglia
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors / S. Gnesi ; D. Latella ; G. Lenzini ; C. Abbaneo ; A. Amendola ; P. Marmo
Author Index
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
12.

図書

図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xi, 185 p. ; 28 cm
所蔵情報: loading…
13.

図書

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

図書

図書
Bernhard Steffen, ed.
出版情報: Berlin ; New York : Springer, c1998  xiii, 455 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1384
所蔵情報: loading…
目次情報: 続きを見る
The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions
The volume is devoted to conceptual foundations, development, and applications of tools and algorithms
For the specification, verification, analysis, and construction of software and hardware systems
The papers are organized in sections on model checking, design and architecture
Various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience
The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions
The volume is devoted to conceptual foundations, development, and applications of tools and algorithms
For the specification, verification, analysis, and construction of software and hardware systems
15.

図書

図書
edited by Gary M. Olson & Sue Schuon
出版情報: New York : Association for Computing Machinery, c1995  x, 268 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing in cooperation with IFAC COMPUT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xx, 528 p. ; 28 cm
所蔵情報: loading…
17.

図書

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

図書

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

図書

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

図書

図書
Witold Litwin, Tadeusz Morzy, Gottfried Vossen (eds.)
出版情報: Berlin : Springer, c1998  xiv, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1475
所蔵情報: loading…
21.

図書

図書
Ed Brinksma (ed.)
出版情報: Berlin : Springer, c1997  x, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1217
所蔵情報: loading…
22.

図書

図書
edited by Alaistair Sutcliffe, David Benyon and Frans van Assche
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vi, 273 p. ; 24 cm
所蔵情報: loading…
23.

図書

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

図書

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

図書

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

図書

図書
edited by Manfred Broy
出版情報: Berlin ; New York : Springer, c1996  viii, 467 p. ; 24 cm
シリーズ名: NATO ASI series ; Series F . Computer and systems sciences ; no. 152
所蔵情報: loading…
27.

図書

図書
Jacques Calmet, Carla Limongelli (eds.)
出版情報: Berlin : Springer, c1996  ix, 356 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1128
所蔵情報: loading…
28.

図書

図書
Tiziana Margaria, Bernhard Steffen, (eds.)
出版情報: Berlin : Springer, c1996  xi, 434 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1055
所蔵情報: loading…
29.

図書

図書
edited by Leonard J. Bass and Claus Unger
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1996  viii, 373 p. ; 25 cm
所蔵情報: loading…
30.

図書

図書
E. Brinksma ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer, c1995  289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1019
所蔵情報: loading…
31.

図書

図書
edited by Arne Sölvberg, John Krogstie and Anne Helga Seltveit
出版情報: London : Chapman & Hall, 1995  x, 242 p. ; 24 cm
所蔵情報: loading…
32.

図書

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

図書

図書
edited by Niels Bjørn-Andersen
出版情報: Amsterdam ; New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980  x, 229 p. ; 23 cm
所蔵情報: loading…
34.

図書

図書
edited by Jozef K. Skwirzynski
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xiii, 747 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 22
所蔵情報: loading…
35.

図書

図書
edited by Kenneth E. Kendall, Kalle Lyytinen, Janice I. DeGross
出版情報: Amsterdam ; New York : North-Holland, 1992  xi, 399 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 8
所蔵情報: loading…
36.

図書

図書
edited by R.K. Stamper ... [et al.]
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Elsevier Science [distributor, U.S. & Canada], 1991  xvi, 385 p. ; 24 cm
所蔵情報: loading…
37.

図書

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

図書

図書
edited by Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xv, 877 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
39.

図書

図書
edited by Jay F. Nunamaker, Jr
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xii, 670 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 3 . Information systems
所蔵情報: loading…
40.

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xiii, 729 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 4 . Information systems
所蔵情報: loading…
41.

図書

図書
edited by Veljko Milutinovic, Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xv, 717 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
42.

図書

図書
eidted by Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xiii, 605 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
43.

図書

図書
edited by Jay F. Nunamaker, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xiv, 827 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 3
所蔵情報: loading…
44.

図書

図書
edited by Jay F. Nunamaker, Jr., Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xi, 574 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 4
所蔵情報: loading…
45.

図書

図書
A. Miola (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  xii, 283 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 429
所蔵情報: loading…
46.

図書

図書
edited by R.L. Flood, M.C. Jackson, and P. Keys
出版情報: New York : Plenum Press, c1989  xii, 378 p. ; 26 cm
所蔵情報: loading…
47.

図書

図書
edited by Daniel Teichroew and Gabor David
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  x, 616 p. ; 23 cm
所蔵情報: loading…
48.

図書

図書
edited by Barbara Pernici, Alex Verrijn-Stuart
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989  x, 337 p. ; 23 cm
所蔵情報: loading…
49.

図書

図書
edited by Lee W. Hoevel and Veljko Milutinovic
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Tokyo : Order from, Computer Society of the IEEE, c1989  viii, 492 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
50.

図書

図書
edited by Bruce D. Shriver
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Tokyo : Order from, Computer Society of the IEEE, c1989  xvii, 1106 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼