Recent Trends In Algebraic Development Techniques
by Andrea Corradini /
2009 / English / PDF
4.6 MB Download
The main topics are: foundations of algebraic speci?cation and other approaches to formal speci?cation, including process calculi and models of concurrent, distributed and mobile computing; speci?cation languages, methods and environments; semantics of conceptual modelling methods and techniques; model-drivendevelopment; graphtransformations, termrewritingandproofs- tems; integration of formal speci?cation techniques; formal testing and quality assurance; and validation and verication.
