close
1.

図書

図書
Michael Butler, Luigia Petre, Kaisa Sere (eds.)
出版情報: Berlin : Springer, c2002  x, 399 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2335
所蔵情報: loading…
2.

図書

図書
Kung-Kiu Lau, Richard Banach (eds.)
出版情報: Berlin : Springer, c2005  xiv, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3785
所蔵情報: loading…
3.

図書

図書
edited by Theo Dimitrakos, Fabio Martinelli
出版情報: New York : Springer, 2005  x, 246 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 173
所蔵情報: loading…
目次情報: 続きを見る
Information Flow Analysis for Probabilistic Timed Automata
Dynamic Security Labels
Pattern-Matching Spi-Calculus
Interactive Trust Management and Negotiation
Tuple-Space Coordination Models
Deploying Network Security Policies
Auditing Accountability in Decentralized Systems
Overriding Access Control
Complementing Computational Protocol Analysis
Information Flow Analysis for Probabilistic Timed Automata
Dynamic Security Labels
Pattern-Matching Spi-Calculus
4.

図書

図書
Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
出版情報: Berlin : Springer, c2005  xi, 405 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3771
所蔵情報: loading…
5.

図書

図書
Jim Davies, Wolfram Schulte, Mike Barnett (eds.)
出版情報: Berlin : Springer, c2004  xiii, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3308
所蔵情報: loading…
6.

図書

図書
[edited by Antonio Cerone and Peter Lindsay
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  x, 229 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Conference Chairs
Program Committee
Referees
Keynote Speaker 1
From Requirements to Design: Formalizing the Key Steps / R. Dromey
Testing / Session 1:
Supporting the Software Testing Process through Specification Animation / T. Miller ; P. Strooper
Architecting Specifications for Test Case Generation / R. Sinnott
Formal Models for Security / Session 2:
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security / R. Lanotte ; A. Maggiolo-Schettini ; A. Troina
Refinement Operators and Information Flow Security / A. Bossi ; R. Focardi ; C. Piazza ; S. Rossi
A Formal Model for Trust in Dynamic Networks / M. Carbone ; M. Nielsen ; V. Sassone
Keynote Speaker 2
Taming Mobile Processes Using Types / D. Sangiorgi
Program Verification / Session 3:
Facilitating Program Verification with Dependent Types / H. Xi
A Partial-Correctness Semantics for Modelling Assembler Programs / G. Watson ; C. Fidge
Program Verification Using Change Information / B. Beckert ; P. Schmitt
Keynote Speaker 3
Towards a Well-Founded UML-Based Development Method / E. Astesiano ; G. Reggio
Integration of Formal and Informal Methods I / Session 4:
Behavioral Consistency Validation of UML Diagrams / B. Litvak ; S. Tyszberowicz ; A. Yehudai
Component-Based Design and Analysis: A Case Study / Y. Jin ; C. Lakos ; R. Esser
Integration of Formal and Informal Methods II / Session 5:
Towards Formalizing UML State Diagrams in CSP / M. Ng ; M. Butler
Semantic Properties of [mu]-Charts / D. Goldson ; G. Reeve
The Fallacy of Spec-Based Design / R. Bhatt ; D. LaFollette ; A. Kapur
Object-Oriented Modelling / Session 6:
Formalizing the Framework Design Language F-UML / N. Bouassida ; H. Ben-Abdallah ; F. Gargouri ; A. Ben Hamadou
Modelling Java Concurrency with Object-Z / R. Duke ; L. Wildman ; B. Long
Specification Matching of Object-Oriented Components / F. Feiks ; D. Hemer
Animation of Object-Z Specifications Using a Z Animator / T. McComb ; G. Smith
Automated Verification / Session 7:
Model Checking Visual Specification of Requirements / U. Shrotri ; P. Bhaduri ; R. Venkatesh
Formal Verification of ASM Designs Using the MDG Tool / A. Gawanmeh ; S. Tahaur ; K. Winter
Light-Weight Theorem Proving for Debugging and Verifying Units of Code / D. Deharbe ; S. Ranise
Author Index
Preface
Conference Chairs
Program Committee
7.

図書

図書
David de Frutos-Escrig, Manuel Núñes (eds.)
出版情報: Berlin : Springer, c2004  x, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3235
所蔵情報: loading…
8.

図書

図書
International Workshop on Formal Techniques for Java-like Programs ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  62 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
International Workshop on Dissributed Objects for the 21st Century ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  22 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
Workshop on Script to Program Evolution ; European Conference on Object-Oriented Programming
出版情報: New York : Association for Computing Machinery, c2009  70 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼