Mostrando
1 - 8
Resultados de
8
Para Buscar '
Moscato, M.M.
'
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
Moscato, M.M.
Mostrando
1 - 8
Resultados de
8
Para Buscar '
Moscato, M.M.
'
, tiempo de consulta: 0.10s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements
por
Moscato
,
M.M
.
,
López Pombo, C.G.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
2
Dynamite: A tool for the verification of alloy models based on PVS
por
Moscato
,
M.M
.
,
Lopez Pombo, C.G.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
3
Alloy Analyzer+PVS in the analysis and verification of Alloy specifications
por
Frias, M.F.
,
Lopez Pombo, C.G.
,
Moscato
,
M.M
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
4
Describing and analyzing behaviours over tabular specifications using (Dyn)alloy
por
Aguirre, N.M.
,
Frias, M.F.
,
Moscato
,
M.M
.
,
Maibaum, T.S.E.
,
Wassyng, A.
Publicado 2009
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Artículo
publishedVersion
Agregar a favoritos
Guardado en:
5
Describing and analyzing behaviours over tabular specifications using (Dyn)alloy
por
Aguirre, N.M.
,
Frias, M.F.
,
Moscato
,
M.M
.
,
Maibaum, T.S.E.
,
Wassyng, A.
Publicado 2009
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:
6
Describing and analyzing behaviours over tabular specifications using (Dyn)alloy
por
Aguirre, N.M.
,
Frias, M.F.
,
Moscato
,
M.M
.
,
Maibaum, T.S.E.
,
Wassyng, A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
7
HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications
por
Giménez, M.
,
Moscato
,
M.M
.
,
Pombo, C.G.L.
,
Frias, M.F.
,
Ribeiro L.
,
Aguirre N.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
8
Boosting the Reuse of Formal Specifications
por
Moscato
,
M.M
.
,
Lopez Pombo, C.G.
,
Muñoz, C.A.
,
Feliú, M.A.
,
Avigad J.
,
Mahboubi A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Specifications
Software engineering
Alloy analyzers
Alloy languages
Alloys
Atomic transition
Autopilot systems
Cerium alloys
Computer software
Dynamic logic
Example based
Linguistics
Operational languages
Requirements specifications
SAT-solving
Tabular expressions
Tabular notation
Tabular specifications
Test harness
Theorem proving
Calculations
Formal methods
Specification languages
Theorem provers
Verification
Algebra
Algebraic specifications
Alloy
Alloy Analyzer
Alloy calculus
Cargando...