FME 2001: Formal Methods for Increasing Software Productivity

FME 2001: Formal Methods for Increasing Software Productivity

Author: Jose N. Oliveira

Publisher: Springer

ISBN: 9783540452515

Category: Computers

Page: 634

View: 859

Download Now
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit ̈at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.
FME 2001: Formal Methods for Increasing Software Productivity
Language: en
Pages: 634
Authors: Jose N. Oliveira, Pamela Zave
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S-
FME 2001: Formal Methods for Increasing Software Productivity
Language: en
Pages: 634
Authors: Jose N. Oliveira, Pamela Zave
Categories: Computers
Type: BOOK - Published: 2001-02-28 - Publisher: Springer

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S-
FME 2001, Formal Methods for Increasing Software Productivity
Language: en
Pages: 628
Authors: Internation Symposium of Formal Methods Europe
Categories: Computers
Type: BOOK - Published: 2001 - Publisher:

Books about FME 2001, Formal Methods for Increasing Software Productivity
Rigorous Software Development
Language: en
Pages: 307
Authors: José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Categories: Computers
Type: BOOK - Published: 2011-01-04 - Publisher: Springer Science & Business Media

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Language: en
Pages: 368
Authors: Doron A. Peled
Categories: Computers
Type: BOOK - Published: 2002-10-28 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from