Analytical Software Design (ASD) is a design approach that combines formal and empirical methods for developing mathematically verified software systems. Unlike conventional design methods, the design phase is extended with more formal techniques, so that flaws are detected earlier, thereby reducing the time needed for coding, testing, and integration. In this paper, we demonstrate formal detai...

Conceptual Metaphor Theory (CMT, Lakoff & Johnson 1980; Lakoff, 1983, 1987, 1993, 2008, 2009), the most prominent cognitive approach to metaphor comprehension, argues that the nature of interconnections within the conceptual system is inherently metaphoric-analogical and that systematic patterns in linguistic metaphor reveal these cognitive interconnections. Relevance Theory (RT, Sperber & Wils...