By Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)
This ebook constitutes the refereed complaints of the eleventh overseas convention on Formal Engineering equipment, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.
The 36 revised complete papers including invited talks offered have been conscientiously reviewed and chosen from 121 submissions. The papers deal with all present matters in formal equipment and their purposes in software program engineering. they're prepared in topical sections on trying out, Protocols, verification, version checking, object-orientation, event-b, compilation, technique algebra, refinement, algebraic standards and real-time systems.
Continue reading "Download E-books Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings PDF"