Learning from vacuously satisfiable scenario-based specifications

Mostrar todas las versiones(3)

Scenarios and use cases are popular means for supporting requirements elicitation and elaboration. They provide examples of how the system-to-be and its environment can interact. However, such descriptions, when large, are cumbersome to reason about, particularly when they include conditional featur...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.
Formato: SER
Materias:
Requirements elicitation
Scenario-based specifications
Semi-automated
Automated approach
Model checking
Specifications
Artificial intelligence
Computation theory
Learning systems
Software engineering
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v7212LNCS_n_p377_Alrajeh
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares