Sharing and learning Alloy on the web

• http://arxiv.org/abs/1907.02275

•  
• Visão geral
•  
• Pesquisas
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• Macedo, Nuno
• Cunha, Alcino
• Pereira, José Luís Fernandes
• Carvalho, R
• Carvalho, Ricardo Silva
• A. Paiva
• Miguel Ramalho
• Daniel C. Silva

data de publicação

• janeiro 1, 2019

tem uma área de assunto

• Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Pesquisas

palavras-chave

• Alloy
• Lightweight formal methods
• Software design

Informação adicional documento

Volume

• 1907.02275