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.
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
This is often an instance product description.
No writing in publication. No DJ. Non-smoking proprietor.
Additional info for Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings