Making explicit domain knowledge in formal system development

Modeling languages are concerned with providing techniques and tool support for the design, synthesis and analysis of the models resulting from a given modeling activity, this activity being usually part of a system development model or process. These languages quite successfully focused on the anal...

Full description

Saved in:

Bibliographic Details
Published in:	Science of computer programming Vol. 121; no. 100--127; pp. 100 - 127
Main Authors:	Ait-Ameur, Yamine, Méry, Dominique
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.06.2016 Elsevier
Subjects:	Artificial Intelligence Computer Science Data Structures and Algorithms Domain knowledge Explicit vs. implicit semantics Formal Languages and Automata Theory Logic in Computer Science Models verification and validation Ontologies and ontology engineering Software Engineering System design models Models verification and validation Explicit vs. implicit semantics System design models Ontologies and ontology engineering Domain knowledge
ISSN:	0167-6423, 1872-7964
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!