Skip to content
You are not logged in |Login  
     
Limit search to available items
Record:   Prev Next
Resources
More Information
Bestseller
BestsellerE-book

Title Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.

Publication Info. Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018.

Item Status

Description 1 online resource (viii, 397 pages) : illustrations, plans
Physical Medium polychrome
Description text file
Bibliography Includes bibliographical references.
Contents Introduction -- 3rd Symposium Formal Methods in Architecture: Opening Speech -- Part I. From Information Gathering and Processing -- Part II. To Higher Semantic Levels of Theories --Part III. To Design Methods of Project Production -- Part IV. To Material Production.
Summary "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."--Provided by publisher
Local Note eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject Architecture -- Data processing.
Architecture -- Data processing.
Formal methods (Computer science)
Formal methods (Computer science)
ARCHITECTURE -- Adaptive Reuse & Renovation.
ARCHITECTURE -- Buildings -- Landmarks & Monuments.
ARCHITECTURE -- Professional Practice.
ARCHITECTURE -- Reference.
Architecture.
Regional & area planning.
Technology: general issues.
Genre/Form Electronic books.
Added Author Viana, David Leite, editor.
Morais, Franklim, editor.
Vaz, Jorge Vieira, editor.
Other Form: Print version: Formal methods in architecture and urbanism. Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 9781527507623 (OCoLC)1028209370
ISBN 9781527514577 (electronic book)
1527514579 (electronic book)
9781527507623
1527507629