.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods and Software Engineering
Richard . Ed(S): Branach
€ 74.39
FREE Delivery in Ireland
Description for Formal Methods and Software Engineering
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, testing, and more. Editor(s): Branach, Richard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 502 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 26. Weight in Grams: 716.
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements,speci?cation,design,implementation,testing,anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, ... Read more
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements,speci?cation,design,implementation,testing,anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
502
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
502
Place of Publication
Berlin, Germany
ISBN
9783540297970
SKU
V9783540297970
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods and Software Engineering