Ontology-driven software engineering: beyond model checking and transformations

DOI10.1142/S1793351X12500031MaRDI QIDQ4649262zbMATH OpenFDO

Authors Artem Katanosov

Publication date 21 November 2012

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

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)

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

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)