Mostrando
1 - 11
Resultados de
11
Para Buscar '
Alrajeh, D.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Alrajeh, D.
Mostrando
1 - 11
Resultados de
11
Para Buscar '
Alrajeh, D.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Learning from vacuously satisfiable scenario-based specifications
por
Alrajeh
,
D
.
,
Kramer, J.
,
Russo, A.
,
Uchitel, S.
Publicado 2012
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Artículo
publishedVersion
Agregar a favoritos
Guardado en:
2
Learning from vacuously satisfiable scenario-based specifications
por
Alrajeh
,
D
.
,
Kramer, J.
,
Russo, A.
,
Uchitel, S.
Publicado 2012
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Artículo
publishedVersion
Agregar a favoritos
Guardado en:
3
Using abduction and induction for operational requirements elaboration
por
Alrajeh
,
D
.
,
Ray, O.
,
Russo, A.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
4
Logic-based learning in software engineering
por
Alrajeh
,
D
.
,
Russo, A.
,
Uchitel, S.
,
Kramer, J.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
5
Deriving non-Zeno behaviour models from goal models using ILP
por
Alrajeh
,
D
.
,
Kramer, J.
,
Russo, A.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
6
An Inductive approach for modal transition system refinement
por
Alrajeh
,
D
.
,
Kramer, J.
,
Russo, A.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
7
Elaborating requirements using model checking and inductive learning
por
Alrajeh
,
D
.
,
Kramer, J.
,
Russo, A.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
8
Learning from vacuously satisfiable scenario-based specifications
por
Alrajeh
,
D
.
,
Kramer, J.
,
Russo, A.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
9
Learning operational requirements from goal models
por
Alrajeh
,
D
.
,
Kramer, J.
,
Russo, A.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
10
Risk-driven revision of requirements models
por
Alrajeh
,
D
.
,
Van Lamsweerde, A.
,
Kramer, J.
,
Russo, A.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
11
Supporting incremental behaviour model elaboration
por
Uchitel, S.
,
Alrajeh
,
D
.
,
Ben-David, S.
,
Braberman, V.
,
Chechik, M.
,
De Caso, G.
,
D'Ippolito, N.
,
Fischbein, D.
,
Garbervetsky, D.
,
Kramer, J.
,
Russo, A.
,
Sibay, G.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Software engineering
Model checking
Specifications
Learning systems
Goal-oriented requirements engineering
Inductive learning
Requirements engineering
Artificial intelligence
Automated approach
Computation theory
Engineering education
Iterative methods
Operational requirements
Requirements elicitation
Scenario-based specifications
Semi-automated
Automated support
Goal models
Inductive logic programming
Iterative process
Logic programming
Risk assessment
Abductive reasoning
Application programs
Behavior model
Behaviour modelling
Behaviour models
Computer circuits
Computer software
Controller synthesis
Cargando...