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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Science of computer programming Ročník 121; číslo 100--127; s. 100 - 127
Hlavní autoři:	Ait-Ameur, Yamine, Méry, Dominique
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.06.2016 Elsevier
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!