Download E-books Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings PDF

By Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)

This ebook constitutes the refereed complaints of the ninth overseas convention on software program Engineering and Formal equipment, SEFM 2011, held in Montevideo, Uruguay, in November 2011.
The 22 revised average papers offered including 1 brief paper, 2 software papers, and four keynote talks have been rigorously reviewed and chosen from one hundred and five preliminary abstracts and eighty five complete submissions. in addition to the common consultation the convention held a unique song dedicated to "Modeling for Sustainable improvement" with five accredited papers - chosen from 7 submissions - which are additionally a part of this quantity. the purpose of SEFM is to increase the state-of-the-art in formal tools, to scale up their program in software program and to motivate their integration with useful engineering methods.

Show description

Read Online or Download Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings PDF

Best Software books

Additional info for Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Show sample text content

Rated 4.06 of 5 – based on 3 votes