A Refinement Theory for Alloy

A Refinement Theory for Alloy

Made available in DSpace on 2014-06-12T15:53:55Z (GMT). No. of bitstreams: 2 arquivo6386_1.pdf: 3378493 bytes, checksum: 2ea65399678659e12b1393a14ebbb799 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 === Refatoramentos são geralmente prop...

Full description

Bibliographic Details
Main Author:	Gheyi, Rohit
Other Authors:	Henrique Monteiro Borba, Paulo
Language:	Portuguese
Published:	Universidade Federal de Pernambuco 2014
Subjects:	Refatoramentos Refinamentos Modelos de objetos Prova de teoremas
Online Access:	https://repositorio.ufpe.br/handle/123456789/2023

Similar Items

An approach to safely evolve preprocessor-based C program families.
by: MEDEIROS, Flávio Mota.
Published: (2016)

Scaling testing of refactoring engines.
by: SABINO, Melina Mongiovi Cunha Lima.
Published: (2016)

Uma abordagem para testar implementações de refatoramentos estruturais e comportamentais de programas C.
by: MENDES, Gustavo Wagner Diniz.
Published: (2014)

Uso de Sistemas de Transições Modais de Kripke para Representacão de Comportamento Parcial no Desenvolvimento incremental e interativo de software
by: Machado, Efraim Zalmoxis de Almeida
Published: (2017)

Avaliando suites automaticamente geradas para validação de refatoramentos.
by: SILVA, Indy Paula Soares Cordeiro e.
Published: (2018)

Caracterização estrutural, microestrutural e magnética de amostras tipo Gd2-xHoxRu2O7
by: MARQUES, Maria Danielle Rodrigues
Published: (2014)

Refinamento estatístico das previsões horárias de temperatura a 2 m do modelo eta em estações do nordeste do Brasil Statistical downscaling of the eta model 2-m temperature hourly forecasts over northeast Brazil
by: Sin Chan Chou, et al.
Published: (2007-12-01)

Teorema de Hall y un algoritmo para detectar sistemas de representantes distintos
by: Edwin Carranza Vargas
Published: (2012-04-01)

Sistemas esquemáticos de dedução natural: um estudo prova-teórico
by: Cavalcante, Alexandre Silva
Published: (2016)

Abordagem para geração automática de código para framework de automação de testes
by: ARCOVERDE NETO, Euclides Napoleão
Published: (2014)

Verificação de modelos para programas em um subconjunto de JCSP
by: NASCIMENTO, Carla Maria Pinheiro do
Published: (2014)

Geração de especificação formal de sistemas a partir de documento de requisitos
by: da Fonseca Limaverde Cabral, Gustavo
Published: (2014)

O Lema de Sperner como uma Ferramenta para realizar Divisões
by: Fonseca, Julio Cesar Santos da
Published: (2017)

Implementação de um provador automático de teoremas com paralelismo
by: Marcel Antoine Becker
Published: (1990)

by: Viviane Carillo Ferrari, et al.
Published: (2007-10-01)

Geração automática de casos de teste CSP orientada por propósitos
by: de Carvalho Nogueira, Sidney
Published: (2014)

O Teorema de Ptolomeu e aplicações
by: Maia Filho, Raimundo Alves
Published: (2016)

O Teorema de Robinson e a construção de campos eletromagnéticos nulos
by: Jatobá, Victor Barbosa
Published: (2014)

Refinamento estrutural com o método Rietveld : implementação e ensaios com o programa FullProf
by: Kinast, Eder Julio
Published: (2013)

Refinamento estrutural com o método Rietveld : implementação e ensaios com o programa FullProf
by: Kinast, Eder Julio
Published: (2013)

Refinamento estrutural com o método Rietveld : implementação e ensaios com o programa FullProf
by: Kinast, Eder Julio
Published: (2013)

Os teoremas de Ramsey e Freiman e suas aplicações envolvendo conjuntos com progressões aritméticas
by: Silva, Anna Carolina Fernandes da
Published: (2017)

Teorema de Pick e teorema espacial tipo-Pick: demonstrações e aplicações no ensino médio
by: Meneses, Paulo de Oliveira
Published: (2016)

[en] INFRASTRUCTURE FOR WEB-BASED INTERACTIVE THEOREM PROVERS
by: JEFFERSON DE BARROS SANTOS
Published: (2010)

Aplicação de alguns teoremas na resolução de problemas geométricos
by: Nogueira, Leandro Teles
Published: (2017)

Geração de malhas por refinamento adptativo usando GPU
by: Cesar, Ricardo Lenz
Published: (2016)

Três teoremas interessantes em teoria dos grafos
by: Soares, Francisco Vandiésio Sousa
Published: (2017)

Uma abordagem para avaliar refatoramentos baseada no impacto da mudança.
by: SABINO, Melina Mongiovi Cunha Lima.
Published: (2013)

Analiticidade de funções diferenciáveis em quase todo ponto
by: Andrade, Nícolas Alcântara de
Published: (2015)

Normalização para os N-Grafos
by: Vaz Alves, Gleifer
Published: (2014)

Normalização para o N-grafos
by: Vaz Alves, Gleifer
Published: (2014)

Refinamento de imagens termais do Landsat 5 - TM com base em classes de NDVI Sharpening of thermal Landsat 5 - TM imagery data based on NDVI classification
by: Argemiro Lucena de Araújo, et al.
Published: (2012-12-01)

Teorema de Goldie para álgebras alternativas
by: Silva, Tiago Martins
Published: (2010)

O teorema de Denjoy
by: Garcia, Christiano
Published: (2015)

Uma demonstração do teorema da singularidade de Hawking
by: Scarinci, Carlos Yoshio Uehara
Published: (2009)

Uma demonstração do teorema da singularidade de Hawking
by: Scarinci, Carlos Yoshio Uehara
Published: (2009)

Teorema de Goldie para álgebras alternativas
by: Silva, Tiago Martins
Published: (2010)

Algumas generalizações para o último teorema de Fermat
by: Pogorelsky, Bárbara Seelig
Published: (2007)

Algumas generalizações para o último teorema de Fermat
by: Pogorelsky, Bárbara Seelig
Published: (2007)

O teorema de Denjoy
by: Garcia, Christiano
Published: (2015)

Cannot write session to /tmp/vufind_sessions/sess_73leqbl7ifi7sdldsvd2pk2lgp