Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
ONTOLOGY-DRIVEN SOFTWARE ENGINEERING: BEYOND MODEL CHECKING AND TRANSFORMATIONS - MaRDI portal

ONTOLOGY-DRIVEN SOFTWARE ENGINEERING: BEYOND MODEL CHECKING AND TRANSFORMATIONS

From MaRDI portal

Publication:4649262

Jump to:navigation, search

DOI10.1142/S1793351X12500031zbMath1250.68091MaRDI QIDQ4649262

Artem Katanosov

Publication date: 21 November 2012

Published in: International Journal of Semantic Computing (Search for Journal in Brave)

zbMATH Keywords

model checking model-driven engineering software composition component metadata ontology-driven software engineering

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

This page was built for publication: ONTOLOGY-DRIVEN SOFTWARE ENGINEERING: BEYOND MODEL CHECKING AND TRANSFORMATIONS

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4649262&oldid=18843249"