Mostrando
1 - 8
Resultados de
8
Para Buscar '
Moscato, M.M.
'
Saltar al contenido
BDU
3
Inicio
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.05s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
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
2
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
3
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
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
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.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
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.
Publicado 2009
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Artículo
publishedVersion
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
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
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...