Mostrando
1 - 3
Resultados de
3
Para Buscar '
Asteasuain, F.
'
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
Asteasuain, F.
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Asteasuain, F.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Specification Patterns: Formal and Easy
por
Asteasuain
,
F
.
,
Braberman, V.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
2
Specification patterns can be formal and still easy
por
Asteasuain
,
F
.
,
Braberman, V.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
3
Declaratively building behavior by means of scenario clauses
por
Asteasuain
,
F
.
,
Braberman, V.
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
Behavioral model
Behavioral modeling
Behavioral properties
Formal languages
Property Specification
Requirements engineering
Semantics
Software verification
Specification languages
Specification patterns
Specifications
Computational linguistics
Computer hardware description languages
Declarative Languages
Declarative models
Declarative semantics
Formal Description
Formal Specifications
Formal specification
Graphical languages
Knowledge engineering
Logic-based approach
Model checking
Modifiability
Operational commitments
Pattern representation
Pattern specifications
Quality attributes
Regular properties
Requirements Engineering
Cargando...