Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

  • Editors
  • Michael Butler
  • Michael G. Hinchey
  • María M. Larrondo-Petrie
Conference proceedings ICFEM 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4789)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Security and Knowledge

    1. Jeremy W. Bryans, John S. Fitzgerald
      Pages 37-56
    2. Jin Song Dong, Yuzhang Feng, Ho-fung Leung
      Pages 57-75
  4. Embedded Systems

    1. Rasmus Adler, Ina Schaefer, Tobias Schuele, Eric Vecchié
      Pages 76-95
    2. Chunqing Chen, Jin Song Dong, Jun Sun
      Pages 96-115
    3. Jacques Julliand, Hassan Mountassir, Emilie Oudot
      Pages 116-135
  5. Testing

    1. Ana Cavalcanti, Marie-Claude Gaudel
      Pages 151-170
    2. Lihua Duan, Jessica Chen
      Pages 171-190
  6. Automated Analysis

  7. Hardware

    1. Juan Ignacio Perna, Jim Woodcock
      Pages 266-285
    2. Marcel Oliveira, Jim Woodcock
      Pages 286-306
    3. Guillermo Rodriguez-Navas, Julián Proenza, Hans Hansson
      Pages 307-326
  8. Concurrency

About these proceedings

Keywords

automata dependable systems design patterns distributed testing embedded systems formal methods formal software development formal verification model checking modeling programming paradigms semantic Web services semantics systems analysis verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-76650-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-76648-3
  • Online ISBN 978-3-540-76650-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book