Ontology-driven software engineering: beyond model checking and transformations

DOI10.1142/S1793351X12500031zbMATH Open1250.68091MaRDI QIDQ4649262FDOQ4649262

Authors: Artem Katanosov 

Publication date: 21 November 2012

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

Recommendations

• Model-Driven Ontology Engineering
• Ontological modeling for software application development
• Ontology-driven information systems: past, present and future
• Ontology-driven software development
• Flexible software architectures for ontology-based information systems

zbMATH Keywords

model checkingmodel-driven engineeringsoftware compositioncomponent metadataontology-driven software engineering

Mathematics Subject Classification ID

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

Cited In (8)

• OntCheck: an ontology-driven static correctness checking tool for component-based models
• Context Dependency Management in Ontology Engineering: A Formal Approach
• Model-Driven Ontology Engineering
• Flexible software architectures for ontology-based information systems
• Ontological modeling for software application development
• Ontology-driven information systems: past, present and future
• Smart Modeller
• Ontology-enabled validation of connectivity relationships in a home theater system

This page was built for publication: Ontology-driven software engineering: beyond model checking and transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649262)