Mostrando
1 - 5
Resultados de
5
Para Buscar '
Fischbein, 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
Fischbein, D.
Mostrando
1 - 5
Resultados de
5
Para Buscar '
Fischbein, D.
'
, tiempo de consulta: 0.05s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
On correct and complete strong merging of partial behaviour models
por
Fischbein
,
D
.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
2
A foundation for behavioural conformance in software product line architectures
por
Fischbein
,
D
.
,
Uchitel, S.
,
Braberman, V.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
3
A Sound observational semantics for modal transition systems
por
Fischbein
,
D
.
,
Braberman, V.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
4
MTSA: The modal transition system analyser
por
D'Ippolito, N.
,
Fischbein
,
D
.
,
Chechik, M.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
5
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
Behaviour models
Modal Transition Systems
Behaviour modelling
Mathematical models
Semantics
Software engineering
Algorithms
Computational methods
Computer science
Computer software
Computer software maintenance
Controller synthesis
Current limitation
Description languages
Elaboration
Goal models
Incomplete knowledges
Iterative development
Iterative methods
Labelled transition systems
Laser tissue interaction
Merge
Mergers and acquisitions
Merging
Modelling and analysis
Observational semantics
Operational description
Operational models
Over-constrained
Partial Behaviour Models
Cargando...