FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY

Mounira Kezadri; Marc Pantel

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY

Topics: Knowledge Reengineering; Knowledge Representation

In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 0IC3K, 440-444, 2010 , Valencia, Spain

Authors: Mounira Kezadri and Marc Pantel

Affiliation: IRIT, Université de Toulouse and ENSEEIHT, France

Keyword(s): Ontology, Modeling languages, Verification and validation technologies.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Engineering and Ontology Development ; Knowledge Reengineering ; Knowledge Representation ; Knowledge-Based Systems ; Symbolic Systems

Abstract: This paper presents the key elements of an ontology that formalizes part of the knowledge about behavioural modeling and the associated verification and validation technologies. It summarizes the objects, concepts, and other entities that are assumed to exist in this area of interest and the relationships that hold among them. We propose a classification of different modeling formalisms and a representation of possible verification and validation methods. A system is represented using several views conforming to different modeling languages. Its properties can be assessed with verification and validation technologies.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.220.16.184

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Kezadri, M. and Pantel, M. (2010). FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY. In Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2010) - KEOD; ISBN 978-989-8425-29-4; ISSN 2184-3228, SciTePress, pages 440-444. DOI: 10.5220/0003102904400444

@conference{keod10,
author={Mounira Kezadri. and Marc Pantel.},
title={FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2010) - KEOD},
year={2010},
pages={440-444},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003102904400444},
isbn={978-989-8425-29-4},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2010) - KEOD
TI - FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY
SN - 978-989-8425-29-4
IS - 2184-3228
AU - Kezadri, M.
AU - Pantel, M.
PY - 2010
SP - 440
EP - 444
DO - 10.5220/0003102904400444
PB - SciTePress