OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models

Journal of Applied Mathematics - United States
doi 10.1155/2013/934349
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Hindawi Limited

Related search

An Integrated Tool for Supporting Ontology Driven Requirements Elicitation

2007English

Ontology Based Semantics Checking for UML Activity Model

Information Technology Journal
2012English

An Ontology Based Visual Tool for Query Formulation Support

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

FlowStats: An Ontology Based Network Management Tool

2015English

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2019English

Checking Correctness of TypeScript Interfaces for JavaScript Libraries

2014English

Ontology-Based Semantic Models for Databases

2009English

Towards a Semi-Automated Tool for Interoperability Assessment: An Ontology-Based Approach

Communications in Computer and Information Science
MathematicsComputer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy