Modular development and verification of domain requirements via model checking

Tanmay Bhowmik; Nan Niu; Edward B. Allen

doi:10.1145/1900008.1900087

Modular development and verification of domain requirements via model checking

Tanmay Bhowmik
, Nan Niu
, Edward B. Allen

Mississippi State University

Producción científica: Literary contribution

Idioma original	English
Título de la publicación alojada	Proceedings of the 48th Annual Southeast Regional Conference, ACM SE'10
DOI	https://doi.org/10.1145/1900008.1900087
Estado	Published - 2010
Publicado de forma externa	Sí
Evento	48th Annual Southeast Regional Conference, ACM SE'10 - Oxford, MS, United States Duración: abr 15 2010 → abr 17 2010

Serie de la publicación

Nombre	Proceedings of the Annual Southeast Conference

Conference

Conference	48th Annual Southeast Regional Conference, ACM SE'10
País/Territorio	United States
Ciudad	Oxford, MS
Período	4/15/10 → 4/17/10

ASJC Scopus Subject Areas

General Computer Science

Acceder al documento

10.1145/1900008.1900087

Otros archivos y enlaces

Citar esto

Bhowmik, T, Niu, N & Allen, EB 2010, Modular development and verification of domain requirements via model checking. En Proceedings of the 48th Annual Southeast Regional Conference, ACM SE'10., 58, Proceedings of the Annual Southeast Conference, 48th Annual Southeast Regional Conference, ACM SE'10, Oxford, MS, United States, 4/15/10. https://doi.org/10.1145/1900008.1900087

@inproceedings{57316583179d43efb2281c2f09e4924d,

title = "Modular development and verification of domain requirements via model checking",

keywords = "Domain requirements, Model checking, Product lines, Verification",

author = "Tanmay Bhowmik and Nan Niu and Allen, \{Edward B.\}",

year = "2010",

doi = "10.1145/1900008.1900087",

language = "English",

isbn = "9781450300643",

series = "Proceedings of the Annual Southeast Conference",

booktitle = "Proceedings of the 48th Annual Southeast Regional Conference, ACM SE'10",

note = "48th Annual Southeast Regional Conference, ACM SE'10 ; Conference date: 15-04-2010 Through 17-04-2010",

}

TY - GEN

T1 - Modular development and verification of domain requirements via model checking

AU - Bhowmik, Tanmay

AU - Niu, Nan

AU - Allen, Edward B.

PY - 2010

Y1 - 2010

KW - Domain requirements

KW - Model checking

KW - Product lines

KW - Verification

UR - https://www.scopus.com/pages/publications/79951836836

UR - https://www.scopus.com/pages/publications/79951836836#tab=citedBy

U2 - 10.1145/1900008.1900087

DO - 10.1145/1900008.1900087

M3 - Literary contribution

AN - SCOPUS:79951836836

SN - 9781450300643

T3 - Proceedings of the Annual Southeast Conference

BT - Proceedings of the 48th Annual Southeast Regional Conference, ACM SE'10

T2 - 48th Annual Southeast Regional Conference, ACM SE'10

Y2 - 15 April 2010 through 17 April 2010

ER -