English
Ciência-IUL
Publicações
Descrição Detalhada da Publicação
Título Revista
Formal Aspects of Computing
Ano (publicação definitiva)
2018
Língua
Inglês
País
Estados Unidos da América
Mais Informação
Web of Science®
Scopus
Google Scholar
Abstract/Resumo
This paper discusses the formalization of Alternative Shaper, a Spatial Grammar supplemented with procedural knowledge for supporting design generation. The nondeterministic process style perspective supports an exploratory and flexible specification of designs and the use of predicates relating shapes allow the confirmation of shape spatial restrictions on design processes. Although simple at this stage, Alternative Shaper actually offers interesting potentialities on design generation that may be improved soon with convenient abstractions.
Agradecimentos/Acknowledgements
--
Palavras-chave
Shape grammar,Spatial grammar,Automatic design generation,Formal specification,Applied formal methods
Classificação Fields of Science and Technology
- Ciências da Computação e da Informação - Ciências Naturais
Registos de financiamentos
| Referência de financiamento | Entidade Financiadora |
|---|---|
| UID/MULTI/0446/2013 | Fundação para a Ciência e a Tecnologia |
