Mostrando
1 - 11
Resultados de
11
Para Buscar '
Alrajeh, D.
'
Saltar al contenido
BDU
3
Inicio
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.05s
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
2
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
3
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
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
5
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
6
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
7
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
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
9
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
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
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
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...