The Resource Formal methods in architecture and urbanism, edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
Formal methods in architecture and urbanism, edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
Resource Information
The item Formal methods in architecture and urbanism, edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library.This item is available to borrow from 1 library branch.
Resource Information
The item Formal methods in architecture and urbanism, edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library.
This item is available to borrow from 1 library branch.
- 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
- Language
- eng
- Extent
- 1 online resource (viii, 397 pages)
- 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
- Isbn
- 9781527514577
- Label
- Formal methods in architecture and urbanism
- Title
- Formal methods in architecture and urbanism
- Statement of responsibility
- edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
- Subject
-
- Technology: general issues
- ARCHITECTURE -- Adaptive Reuse & Renovation
- ARCHITECTURE -- Buildings | Landmarks & Monuments
- ARCHITECTURE -- Professional Practice
- ARCHITECTURE -- Reference
- Architecture
- Architecture -- Data processing
- Architecture -- Data processing
- Formal methods (Computer science)
- Formal methods (Computer science)
- Regional & area planning
- Language
- eng
- 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
- Cataloging source
- N$T
- Dewey number
- 720.285
- Illustrations
-
- illustrations
- plans
- Index
- no index present
- LC call number
- NA2728
- LC item number
- .F67 2018eb
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
-
- Viana, David Leite
- Morais, Franklim
- Vaz, Jorge Vieira
- http://library.link/vocab/subjectName
-
- Architecture
- Formal methods (Computer science)
- ARCHITECTURE
- ARCHITECTURE
- ARCHITECTURE
- ARCHITECTURE
- Architecture
- Regional & area planning
- Technology: general issues
- Architecture
- Formal methods (Computer science)
- Label
- Formal methods in architecture and urbanism, edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Control code
- 1046634263
- Dimensions
- unknown
- Extent
- 1 online resource (viii, 397 pages)
- File format
- unknown
- Form of item
- online
- Isbn
- 9781527514577
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations, plans
- http://library.link/vocab/ext/overdrive/overdriveId
- 9781527514577
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)1046634263
- Label
- Formal methods in architecture and urbanism, edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Control code
- 1046634263
- Dimensions
- unknown
- Extent
- 1 online resource (viii, 397 pages)
- File format
- unknown
- Form of item
- online
- Isbn
- 9781527514577
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations, plans
- http://library.link/vocab/ext/overdrive/overdriveId
- 9781527514577
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)1046634263
Subject
- Technology: general issues
- ARCHITECTURE -- Adaptive Reuse & Renovation
- ARCHITECTURE -- Buildings | Landmarks & Monuments
- ARCHITECTURE -- Professional Practice
- ARCHITECTURE -- Reference
- Architecture
- Architecture -- Data processing
- Architecture -- Data processing
- Formal methods (Computer science)
- Formal methods (Computer science)
- Regional & area planning
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.mst.edu/portal/Formal-methods-in-architecture-and-urbanism/Qd6J9-SIm7o/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/portal/Formal-methods-in-architecture-and-urbanism/Qd6J9-SIm7o/">Formal methods in architecture and urbanism, edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Formal methods in architecture and urbanism, edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.mst.edu/portal/Formal-methods-in-architecture-and-urbanism/Qd6J9-SIm7o/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/portal/Formal-methods-in-architecture-and-urbanism/Qd6J9-SIm7o/">Formal methods in architecture and urbanism, edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>
