2 options
Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.
EBSCOhost Academic eBook Collection (North America) Available online
EBSCOhost Academic eBook Collection (North America)- Format:
- Book
- Language:
- English
- Subjects (All):
- Architecture--Data processing.
- Architecture.
- Formal methods (Computer science).
- Physical Description:
- 1 online resource (405 pages)
- Edition:
- 1st ed.
- Place of Publication:
- Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018.
- 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.
- Contents:
- Intro
- Contents
- Introduction
- 3rd Symposium Formal Methods in Architecture: Opening Speech
- Part I - From Information Gathering and Processing
- Chapter One
- Chapter Two
- Chapter Three
- Chapter Four
- Chapter Five
- Part II - To Higher Semantic Levels of Theories
- Chapter Six
- Chapter Seven
- Chapter Eight
- Chapter Nine
- Chapter Ten
- Chapter Eleven
- Chapter Twelve
- Chapter Thirteen
- Part III - To Design Methods of Project Production
- Chapter Fourteen
- Chapter Fifteen
- Chapter Sixteen
- Chapter Seventeen
- Chapter Eighteen
- Chapter Nineteen
- Chapter Twenty
- Part IV - To Material Production
- Chapter Twenty One
- Chapter Twenty Two
- Chapter Twenty Three
- List of Figures
- List of Contributors
- Contributor Biographies.
- Notes:
- Description based on print version record.
- ISBN:
- 1-5275-1457-9
- OCLC:
- 1046634263
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.