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: Artículo publishedVersion
Publicado: 2012
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
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_03029743_v7212LNCS_n_p377_Alrajeh_oai
Aporte de:
Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares