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)

Full work available at URL https://doi.org/10.1142/S1793351X12500031

zbMATH Keywords

component metadatamodel checkingmodel-driven engineeringontology-driven software engineeringsoftware composition

Mathematics Subject Classification ID

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

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)

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

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)