Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures
type: Item
instance of: scholarly article
zbMATH Open document ID: 1216.68280
author: Alessander Botti Benevides
author: Giancarlo Guizzardi
author: Bernardo Ferreira Bastos Braga
author: João Almeida
publication date: 2011-02-10T00:00:00Z
full work available at URL: validating modal aspects of
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5850120
zbMATH Keywords: formal definitions and theory
zbMATH Keywords: knowledge representation formalisms and methods
zbMATH Keywords: model validation and analysis
MaRDI profile type: MaRDI publication profile
Recommended article: Q4473492
Recommended article: Q4411724
Recommended article: Q3045518
Recommended article: Verification of conceptual models based on linguistic knowledge
Recommended article: On conceptual model specification and verification
description: scientific article; zbMATH DE number 5850120