@Inproceedings{EPTCS271.1, author = {Bj{\o}rner, Dines}, year = {2018}, title = {Domain Analysis \& Description - The Implicit and Explicit Semantics Problem}, editor = {Laleau, R\'egine and M\'ery, Dominique and Nakajima, Shin and Troubitsyna, Elena}, booktitle = {{\rm Proceedings Joint Workshop on} Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) {\rm and} Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM\&MDD), {\rm Xi'An, China, 16th November 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {271}, publisher = {Open Publishing Association}, pages = {1-23}, doi = {10.4204/EPTCS.271.1}, }