Verification, Validation, and Accreditation

作者: Mourad Debbabi , Fawzi Hassaïne , Yosr Jarraya , Andrei Soeanu , Luay Alawneh

DOI: 10.1007/978-3-642-15228-3_5

关键词:

摘要: There exist many definitions for the terms verification and validation , depending on group concerned or domain of application. In SE world, most widely used these are provided by Defense Modeling Simulation Organization (DMSO) [67, 168]. On one hand, is defined as “the process determining that a model implementation its associated data accurately represent developer’s conceptual description specifications” [67]. other degree to which provide an accurate representation real world from perspective model’s intended use”

参考文章(88)
Fausto Giunchiglia, Alessandro Cimatti, Marco Roveri, Edmund M. Clarke, Roberto Sebastiani, Marco Pistore, Armando Tacchella, Enrico Giunchiglia, Nusmv version 2: an opensource tool for symbolic model checking computer aided verification. ,(2002)
Sol M. Shatz, Zhaoxia Hu, Mapping UML Diagrams to a Petri Net Notation for System Simulation. software engineering and knowledge engineering. pp. 213- 219 ,(2004)
C. A. R. Hoare, Communicating Sequential Processes (Reprint). Communications of The ACM. ,vol. 26, pp. 100- 106 ,(1983)
D. A. Carrington, S. K. Kim, A formal V&V framework for UML models based on Model transformation techniques Model Validation (MoDeVa) Workshop. ,(2005)
Kenneth L. McMillan, The SMV System Springer, Boston, MA. pp. 61- 85 ,(1993) , 10.1007/978-1-4615-3190-6_4
Xuede Zhan, Huaikou Miao, An Approach to Formalizing the Semantics of UML Statecharts international conference on conceptual modeling. pp. 753- 765 ,(2004) , 10.1007/978-3-540-30464-7_56
William H. Sanders, John F. Meyer, Stochastic activity networks: formal definitions and concepts formal methods. pp. 315- 343 ,(2002) , 10.1007/3-540-44667-2_9
Moshe Y. Vardi, Branching vs. Linear Time: Final Showdown tools and algorithms for construction and analysis of systems. pp. 1- 22 ,(2001) , 10.1007/3-540-45319-9_1