Mostrando
1 - 8
Resultados de
8
Para Buscar '
Maibaum, T.S.E.
'
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
Maibaum, T.S.E.
Mostrando
1 - 8
Resultados de
8
Para Buscar '
Maibaum, T.S.E.
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Categorical foundations for structured specifications in Z
por
Castro, P.F.
,
Aguirre, N.
,
Pombo, C.L.
,
Maibaum
, T.S.
E
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
2
A heterogeneous characterisation of component-based system design in a categorical setting
por
Lopez Pombo, C.G.
,
Castro, P.F.
,
Aguirre, N.
,
Maibaum
, T.S.
E
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
3
Satisfiability calculus: The semantic counterpart of a proof calculus in general logics
por
Lopez Pombo, C.G.
,
Castro, P.F.
,
Aguirre, N.M.
,
Maibaum
, T.S.
E
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
4
Towards managing dynamic reconfiguration of software systems in a categorical setting
por
Castro, P.F.
,
Aguirre, N.M.
,
López Pombo, C.G.
,
Maibaum
, T.S.
E
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
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:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
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.
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:
7
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:
8
Reasoning about static and dynamic properties in alloy: A purely relational approach
por
Frias, M.F.
,
López Pombo, C.G.
,
Baum, G.A.
,
Aguirre, N.M.
,
Maibaum
, T.S.
E
.
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
Specifications
Dynamic logic
Software engineering
Alloy languages
Atomic transition
Autopilot systems
Cerium alloys
Computer software
Example based
Linguistics
Operational languages
Requirements specifications
SAT-solving
Tabular expressions
Tabular notation
Tabular specifications
Test harness
Algebra
Calculations
Computational linguistics
Formal logic
Formalisation
Semantics
System specification
Abstract framework
Abstract model theory
Abstracting
Alloy
Automatic analysis
Automation
Cargando...