Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, . (Lecture Notes in Computer Science, 2495)

George, Chris; Miao, Huaikou

ISBN 10: 3540000291 / ISBN 13: 9783540000297

Published by Springer, 2002

About this Item

In publisher's shrinkwrap. Binding tight and square. Pages clean and free of writing or marks.

Seller Inventory # AZ700-003

Bibliographic Details

• Title: Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, . (Lecture Notes in Computer Science, 2495)
• Publisher: Springer
• Publication Date: 2002
• Language: English
• ISBN 10: 3540000291
• ISBN 13: 9783540000297
• Binding: Soft cover
• Condition: As New

About this title

Synopsis

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.