ENGLISH

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

By Kung-Kiu Lau , Anthony Hall (auth.) , Richard Banach (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
3540297979, 9783540297970
DOI
10.1007/11576280
Open Library ID
OL9056054M
Language
english
Format
PDF
Filesize
6 MB (6701009 bytes)
Series
Lecture Notes in Computer Science 3785 : Programming and Software Engineering
Edition
1
Pages
502\507
Topic
Technique
Library
Kolxo3
Time added
2011-02-14 12:09:19
CompilersInterpretersSoftware Engineering; Logics and Meanings of Progr

Description

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.

Similar books