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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming Jg. 121; H. 100--127; S. 100 - 127
Hauptverfasser:	Ait-Ameur, Yamine, Méry, Dominique
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.06.2016 Elsevier
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!