Português
Ciência_Iscte
Publications
Publication Detailed Description
Journal Title
Formal Aspects of Computing
Year (definitive publication)
2018
Language
English
Country
United States of America
More Information
Web of Science®
Scopus
Google Scholar
This publication is not indexed in Overton
Abstract
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.
Acknowledgements
--
Keywords
Shape grammar,Spatial grammar,Automatic design generation,Formal specification,Applied formal methods
Fields of Science and Technology Classification
- Computer and Information Sciences - Natural Sciences
Funding Records
| Funding Reference | Funding Entity |
|---|---|
| UID/MULTI/0446/2013 | Fundação para a Ciência e a Tecnologia |
