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)
Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsynå · Electronic Proceedings in Theoretical Computer Science · 2018
The domain analysis & description calculi introduced in [1] ⋄ ⋄ is shown to alleviate the issue of implicit semantics [2].⋄ ⋄ 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 !