FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY

Mounira Kezadri, Marc Pantel

2010

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.

Paper Citation

in Harvard Style

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 - Volume 1: KEOD, (IC3K 2010) ISBN 978-989-8425-29-4, pages 440-444. DOI: 10.5220/0003102904400444

in Bibtex Style

@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 - Volume 1: KEOD, (IC3K 2010)},
year={2010},
pages={440-444},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003102904400444},
isbn={978-989-8425-29-4},
}

in EndNote Style

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