More Details for: Formal methods and software engineering

 Staff view

You must be logged in to Tag Records

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings /

Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (eds.).

Book Cover
Names: Butler, Michael, | Hinchey, Michael G. | Larrondo-Petrie, María M.
Published: Berlin ; Springer, ©2007.
Series: Lecture notes in computer science ; 4789.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Formal methods (Computer science) - Congresses. | Software engineering - Congresses. | Software engineering. | Formal methods (Computer science) | Informatique.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Meeting Name: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.)
Physical Description: 1 online resource (x, 386 pages) : illustrations
Includes: Includes bibliographical references and index.
ISBN: 9783540766506
3540766502
9783540766483
3540766480
Summary: This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with 2 invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency.
Series: Lecture notes in computer science ; 4789. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Other Names: Butler, Michael, 1967-
Hinchey, Michael G. (Michael Gerard), 1969-
Larrondo-Petrie, María M.
Loading SummaryLoading

More Details for: Formal methods and software engineering