By Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)
This e-book constitutes the completely refereed post-conference lawsuits of the twentieth foreign Workshop on Algebraic improvement recommendations, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers offered have been conscientiously reviewed and chosen from 32 shows. The workshop offers with the subsequent issues: foundations of algebraic specification; different techniques to formal specification together with method calculi and versions of concurrent, disbursed and cellular computing; specification languages, equipment, and environments; semantics of conceptual modeling tools and methods; model-driven improvement; graph adjustments, time period rewriting and evidence platforms; integration of formal specification strategies; formal trying out and caliber insurance validation, and verification.