• 0 Items - £0.00
    • No products in the cart.

From £35.99

Formal Methods in Architecture and Urbanism

From £35.99

This book promotes formal methods for problem-solving in architecture and urbanism. It presents theoretically driven techniques, from millennial geometry to current shape grammars, to produce better solutions with less testing time in direct confrontation with reality.

The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring…
From £35.99
From £35.99
Share

The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring advantages to human actions and involve the use of theoretically driven techniques, expressed in languages stemmed from mathematics. Formalization seeks to guarantee that solutions for daily problems are produced in a manner that ensures their greatest possible adequacy and the least test time in direct confrontation with reality. This book contributes to the progress of formalization in architectural methodologies by finding points of convergence between state of the art research on ontologies in architecture, BIM/VDC, CAD/CAM, cellular automata, GIS, parametric processes, processing and space syntax presented within the 3rd Symposium of Formal Methods in Architecture. The contents reach from millennial geometry to current shape grammars, engaging several formal approaches to architecture and urbanism, with different points of view, fields of application, grades of abstraction and formalization.

David Leite Viana is an Integrated Researcher within the Living Digital Spaces Group – Information Sciences, Technologies and Architecture Research Centre, Lisbon University Institute, Portugal. He has co-coordinated two books, co-edited two more and (co)authored more than fifteen book chapters.

Franklim Morais is an Integrated Researcher within the Architecture and Technology Group – Laboratory for Research in Architecture, Oporto Arts Higher School, Portugal. He has written papers focusing scientific fields on industrial electronics, space configuration, accessibility and visibility analysis, and hardware and software systems for intelligent management of buildings, urban spaces and ‘smart’ environments.

Jorge Vieira Vaz is an Integrated Researcher within the Architecture and Technology Group – Laboratory for Research in Architecture, Oporto Arts Higher School, Portugal. His scientific production focuses on taxonomies, ontologies and classification systems in scientific fields on architecture and construction technologies, including virtual design to construction project and BIM (Building Information Modelling) methodologies.

Tiago Gomes, Cristina Nan, Joao V. Lopes, Tereas Leite, Anton Tejada, Elena Arnedo Calvo, Ligia Nunes, Telmo Castro, Frederico Silveira, Alexandros Kallegias, Filipe Brandao, Sergio Mendes, Krishnendra Shekhawat, Katarzyna Augustyniak, Mike Mckay, Johan van der Zwart, Carolina Coelho, Paulo Vieira, Jose P. Duarte, Catarina Ruivo, Pedro Campos Costa, Tor Asmund Evjen, Joao Pedro Passos, Anton Iglesias Castro, Isabel Cristina Carvalho, Jose Nuno Beirao, Franklim Morais, Jorge Vieira Vaz

Hardback

  • ISBN: 1-5275-0762-9
  • ISBN13: 978-1-5275-0762-3
  • Date of Publication: 2018-03-14

Paperback

  • ISBN: 1-5275-7015-0
  • ISBN13: 978-1-5275-7015-3
  • Date of Publication: 2021-06-15

Ebook

  • ISBN: 1-5275-1457-9
  • ISBN13: 978-1-5275-1457-7
  • Date of Publication: 2021-06-15

Subject Codes:

  • BIC: AM, RP, TB
  • THEMA: AM, RP, TB
405