FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

>> Google Books

FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / edited by John Fitzgerald, Ian J. Hayes

版:

1st ed. 2005

資料種別:

電子ブック

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

形態:

XIV, 558 p.

シリーズ名:

Programming and Software Engineering ; 3582

著者名:

ISBN:

9783540317142 [3540317147]
9783540278825 [3540278826]
9783540813316 [3540813314]

書誌ID:

EB00006184

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume. We would like to thank all the Program Commit

主題:

Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; IT Operations; Programming Techniques; Software Engineering

言語:

英語

目次情報:

ブックレビュー

類似資料:

1 電子ブック ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings Black, Andrew., SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Extreme Programming and Agile Processes in Software Engineering : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings Baumeister, Hubert., Marchesi, Michele., Holcombe, Mike., SpringerLink (Online service) Springer Berlin Heidelberg
2 電子ブック Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of … Sagiv, Mooly., SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings Hutter, Dieter., Stephan, Werner., Traverso, Paolo., Ullmann, Markus., SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック FME '96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, … Gaudel, Marie-Claude., Woodcock, James., SpringerLink (Online service) Springer Berlin Heidelberg	9 電子ブック Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings Hankin, Chris., Siveroni, Igor., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Araki, Keijiro., Gnesi, Stefania., Mandrioli, Dion., SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings Jones, Neil., SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September … Fitzgerald, John., Jones, Cliff B., Lucas, Peter., SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Static Analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings Cousot, Patrick., SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings Eriksson, Lars-Henrik., Lindsay, Peter A., SpringerLink (Online service) Springer Berlin Heidelberg	12 電子ブック Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings Nielson, Hanne R., SpringerLink (Online service) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12