Asset Details
Do you wish to reserve the book?
Shaping Formal Methods: Syntax, Typology and Computation
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
Shaping Formal Methods: Syntax, Typology and Computation
Do you wish to request the book?
Shaping Formal Methods: Syntax, Typology and Computation
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
Shaping Formal Methods: Syntax, Typology and Computation
2025
Overview
Nexus Network Journal: Architecture and Mathematics
guest editors Theodoros Dounas and Davide Lombardi introduce Vol. 27 (1). This special issue aims to deepen the understanding of formal methods in architectural composition by exploring three distinct approaches: syntactical (assembling elements), typological (reinterpreting existing archetypes), and computational (applying computational processes to generate form). Each approach incorporates mathematical principles that shape design creation and offer a framework for evaluating and testing architectural compositions. For instance, geometric transformations can be encoded as algorithms or grammatical rules, while parallel analytical processes validate these generated designs.
Publisher
Springer International Publishing,Springer Nature B.V
Subject
