Name: Formal Methods in Architecture and Urbanism, Volume 2
SKU: 1-5275-7446-6
Availability: InStock

Formal Methods in Architecture and Urbanism, Volume 2

Edited By: Catarina Ruivo, David Leite Viana, Franklim Morais, Jorge Vieira Vaz

From £40.99

This volume explores the application of formal methods from mathematics to architecture and urbanism. From geometry to shape grammars, it examines the potential of these tools to create new problem-solving languages and advance the digitalization of the field.

This volume contributes to the debate on the application, in the disciplines of architecture and urbanism, of new formal methods and methodological advances based on…

This volume contributes to the debate on the application, in the disciplines of architecture and urbanism, of new formal methods and methodological advances based on tools from mathematics. From millennial geometry to current shape grammars, several formal approaches to architecture and urbanism are presented here, in order to look at the potentials and purposes of these formal methods, both those on the horizon and those already accomplished. This book promotes the use of formal methods in the creation of new explicit languages for problem-solving in the field. This collection of papers will help students, academics, researchers, and practitioners developing formal methods towards the digitalization of the architecture and urbanism sector.

Catarina Ruivo is a Researcher at CIAUD-FAUL, Portugal, investigating the use of advanced techniques for spatial analysis in architecture and public spaces. She is the author of a number of journal articles and book chapters.

David Leite Viana is a Researcher at ISTAR-Iscte, Portugal, and Professor in the Master Programme on Geographic Information Systems Applied to Spatial Planning, Urbanism and Landscape at Universidad Politécnica de Valencia, Spain. He is the author of one book and the editor of two volumes. He is also the author of 20 book chapters and more than 25 papers.

Franklim Morais is a Researcher at LIAD and Professor at ESAP, Portugal, studying architectural space configuration, accessibility and visibility analysis, and hardware and software systems for intelligent management of buildings, urban spaces and ‘smart’ environments. He has edited a number of books, and has published several papers and book chapters.

Jorge Vieira Vaz is a Researcher at LIAD and Professor at ESAP, Portugal, exploring taxonomies, ontologies and classification systems in the scientific fields of architecture and construction technologies, including virtual design to construction projects and BIM methodologies. He has edited a number of books, and has published several papers and book chapters.

David Viana, Adriana Sandre, Aida Ramirez, Alexandra Paio, Alice Rauber, Amina Rezoug, Ana Maffini, Ana Rolim, Camila Santana, Canan Colaço, Clarice Maraschin, Daniel Lenz, Demircan Tas, Eliziéle Paroli, Emilio Bier, Ernesto Bueno, Esther Gramsbergen, Filipe Brandão, Giacomo Pala, Gonçalo Henriques, Isadora Tebaldi, Janet Hetman, Jarryer Martino, Javier Poyatos, Kerstin Sailer, Larissa Gomes, Laura Costa, Luísa Silva, Luiz Amorim, Mafalda Toscano, Luiz Amorim, Meta Berghauser, Nicola Marzot, Nicolle Prado, Olindo Caso, Patrícia Alonso, Patrick Janssen, Paulo Pellegrino, Petros Koutsolampros, Reem Shurush, Ricardo Correia, Roberto Cavallo, Roberto D’Autilia, Romulo Krafta, Rudi Stouffs, Rui Colaço, Sara Eloy, Sérgio Mendes, Sofia Vargas, Susanne Komossa, Tasos Varoudis, Teresa Heitor, Ugo Santana, Victor Sardenberg, Ye Zhang, Catarina Ruivo, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, Osman Sümer