NIST · ИТ · eb0c563b98ab734ed8ec
Specification-Driven Testing of Smart Card Interface Using a Formal Model
Model-Driven Engineering (MDE) is emerging as a promising approach that uses models to support various phases of system development lifecycle such as Code Generation and Verification/Validation (V &V). In this paper, we describe the application of a model
NIST · ИТОфициальный источник · 2007-04-30
{
"title_en": "Specification-Driven Testing of Smart Card Interface Using a Formal Model",
"designation": "",
"series": "",
"status": "",
"date": "2007-04-30",
"date_original": "April 30, 2007",
"url": "https://www.nist.gov/publications/specification-driven-testing-smart-card-interface-using-formal-model",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Ramaswamy Chandramouli , Mark Blackburn",
"abstract_excerpt_en": "Model-Driven Engineering (MDE) is emerging as a promising approach that uses models to support various phases of system development lifecycle such as Code Generation and Verification/Validation (V &V). In this paper, we describe the application of a model",
"id": "eb0c563b98ab734ed8ec",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Specification-Driven Testing of Smart Card Interface Using a Formal Model",
"designation": "",
"series": "",
"status": "",
"date": "2007-04-30",
"date_original": "April 30, 2007",
"url": "https://www.nist.gov/publications/specification-driven-testing-smart-card-interface-using-formal-model",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Ramaswamy Chandramouli , Mark Blackburn",
"abstract_excerpt_en": "Model-Driven Engineering (MDE) is emerging as a promising approach that uses models to support various phases of system development lifecycle such as Code Generation and Verification/Validation (V &V). In this paper, we describe the application of a model"
}
],
"translation_state": "none"
}