Teaching Formal Methods

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions.

Formal Concept Analysis is a field of applied mathematics based on the math­ematization of concept and conceptual hierarchy. It thereby activates math­ematical thinking for conceptual data analysis and knowledge processing. The underlying notion of “concept” evolved early in the philosophical theory of concepts and still has effects today. In mathematics it played a special role during the emergence of mathematical logic in the 19th century. Subsequently, however, it had virtually no impact on mathematical thinking. It was not until 1979 that the topic was revisited and treated more thoroughly.

A high-level introduction to new technologies andmethods in the field of software engineering
Recent years have witnessed rapid evolution of software engineering methodologies, and until now, there has been no single-source introduction to emerging technologies in the field.