Buscas alternativas:
"Linguagem natural controlada" » "Linguagem natural controlado" (Expandir a busca), "Linguagem natural controlar" (Expandir a busca)
"Linguagem natural controlada" » "Linguagem natural controlado" (Expandir a busca), "Linguagem natural controlar" (Expandir a busca)
1
Assuntos:
“...Linguagem natural controlada...”
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
Dissertação
2
Assuntos:
“...Linguagem natural controlada...”
Auto test generator: a framework to generate test cases from requirements in natural language
Dissertação
3
4
Assuntos:
“...Linguagem natural controlada...”
Extração automática de modelos CSP a partir de casos de uso
Dissertação
5
Assuntos:
“...Linguagem natural controlada...”
Geração de especificação formal de sistemas a partir de documento de requisitos
Dissertação
6
Assuntos:
“...Linguagem Natural Controlada...”
Model checking requirements written in a controlled natural language
Dissertação
7
Assuntos:
“...Linguagem natural controlada...”
A formal approach to test automation based on requirements, domain model, and test cases written in natural language
Tese
8
Assuntos:
“...Linguagem natural controlada...”
NAT2TEST: generating test cases from natural language requirements based on CSP
Tese