Download E-books FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings PDF

By Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)

FME 2001 is the 10th in a chain of conferences prepared each eighteen months by means of Formal equipment Europe (FME), an self sustaining organization whose objective is to stimulate using, and study on, formal equipment for software program improvement. It follows 4 VDM Europe Symposia, 4 different Formal equipment Europe S- posia, and the 1999 international Congress on Formal equipment within the improvement of Computing platforms. those conferences were significantly winning in bringing - gether a group of clients, researchers, and builders of detailed mathematical tools for software program improvement. FME 2001 came about in Berlin, Germany and used to be geared up by way of the C- puter technology division of the Humboldt-Universit¨at zu Berlin. The subject of the symposium was once Formal tools for expanding software program productiveness. This subject acknowledges that formal equipment have the aptitude to do extra for commercial software program improvement than increase software program caliber { they could additionally raise productiveness at many di erent issues within the software program life-cycle. the significance of the topic is borne out by way of the various contributed papers exhibiting how formal tools could make software program improvement extra e cient. there's an emphasis on instruments that nd mistakes immediately, or with particularly little human e ort. there's additionally an emphasis at the use of formal the right way to support with serious, labor-intensive projects comparable to application layout and test-case generation.

Show description

Read or Download FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings PDF

Similar Software books

Additional resources for FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Show sample text content

Rated 4.97 of 5 – based on 10 votes