Shaping Formal Methods: Syntax, Typology and Computation

Theodoros Dounas; Davide Lombardi

doi:10.1007/s00004-025-00811-5

Shaping Formal Methods: Syntax, Typology and Computation

Theodoros Dounas, Davide Lombardi^*

^*Corresponding author for this work

School of Textiles & Design

Research output: Contribution to journal › Letter

Abstract

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.

Original language	English
Pages (from-to)	1-5
Number of pages	5
Journal	Nexus Network Journal
Volume	27
Issue number	1
DOIs	https://doi.org/10.1007/s00004-025-00811-5
Publication status	Published - Mar 2025

Keywords

Architectural composition
Artificial Intelligence
Generative processes
Mathematics
Optimisation
Patterns

ASJC Scopus subject areas

Architecture
General Mathematics
Visual Arts and Performing Arts

Access to Document

10.1007/s00004-025-00811-5

Cite this

@article{daff574f13184dbbbc5fe2abef4a5bc7,

title = "Shaping Formal Methods: Syntax, Typology and Computation",

abstract = "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.",

keywords = "Architectural composition, Artificial Intelligence, Generative processes, Mathematics, Optimisation, Patterns",

author = "Theodoros Dounas and Davide Lombardi",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive licence to Springer Nature Switzerland AG 2025.",

year = "2025",

month = mar,

doi = "10.1007/s00004-025-00811-5",

language = "English",

volume = "27",

pages = "1--5",

journal = "Nexus Network Journal",

issn = "1590-5896",

publisher = "Birkhauser",

number = "1",

}

TY - JOUR

T1 - Shaping Formal Methods

T2 - Syntax, Typology and Computation

AU - Dounas, Theodoros

AU - Lombardi, Davide

N1 - Publisher Copyright: © The Author(s), under exclusive licence to Springer Nature Switzerland AG 2025.

PY - 2025/3

Y1 - 2025/3

N2 - 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.

AB - 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.

KW - Architectural composition

KW - Artificial Intelligence

KW - Generative processes

KW - Mathematics

KW - Optimisation

KW - Patterns

UR - http://www.scopus.com/inward/record.url?scp=85217235143&partnerID=8YFLogxK

U2 - 10.1007/s00004-025-00811-5

DO - 10.1007/s00004-025-00811-5

M3 - Letter

AN - SCOPUS:85217235143

SN - 1590-5896

VL - 27

SP - 1

EP - 5

JO - Nexus Network Journal

JF - Nexus Network Journal

IS - 1

ER -

Shaping Formal Methods: Syntax, Typology and Computation

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this