Domain Analysis & Description - The Implicit and Explicit Semantics Problem

Dines Bjørner
(Technical University of Denmark)

A domain analysis & description calculus is introduced. It is shown to alleviate the issue of implicit semantics. The claim is made that domain descriptions, whether informal, or as also here, formal, amount to an explicit semantics for what is otherwise implicit if not described.

In Régine Laleau, Dominique Méry, Shin Nakajima and Elena Troubitsyna: Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) (IMPEX 2017 and FM&MDD 2017), Xi'An, China, 16th November 2017, Electronic Proceedings in Theoretical Computer Science 271, pp. 1–23.
Published: 12th May 2018.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: