Coverart for item
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

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
Contributor
Editor
Subject
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
Member of
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
Instantiates
Publication
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
Publication
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

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...