Formal Methods in Architecture and Urbanism
Saved in:
| Title: | Formal Methods in Architecture and Urbanism |
|---|---|
| Description: | 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. |
| Authors: | David Leite Viana, Editor, Franklim Morais, Editor, Jorge Vieira Vaz, Editor |
| Resource Type: | eBook. |
| Subjects: | Formal methods (Computer science), Architecture--Data processing |
| Categories: | ARCHITECTURE / Reference, ARCHITECTURE / Professional Practice, ARCHITECTURE / Adaptive Reuse & Renovation, ARCHITECTURE / Buildings / Landmarks & Monuments |
| Database: | eBook Collection (EBSCOhost) |
| FullText | Links: – Type: ebook-pdf Text: Availability: 0 |
|---|---|
| Header | DbId: nlebk DbLabel: eBook Collection (EBSCOhost) An: 1856826 RelevancyScore: 1084 AccessLevel: 6 PubType: eBook PubTypeId: ebook PreciseRelevancyScore: 1083.55249023438 |
| IllustrationInfo | |
| ImageInfo | – Size: thumb Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1856826$PDF&s=r – Size: medium Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1856826$PDF&s=d |
| Items | – Name: Title Label: Title Group: Ti Data: Formal Methods in Architecture and Urbanism – Name: Abstract Label: Description Group: Ab Data: 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. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22David+Leite+Viana%2C+Editor%22">David Leite Viana, Editor</searchLink><br /><searchLink fieldCode="AR" term="%22Franklim+Morais%2C+Editor%22">Franklim Morais, Editor</searchLink><br /><searchLink fieldCode="AR" term="%22Jorge+Vieira+Vaz%2C+Editor%22">Jorge Vieira Vaz, Editor</searchLink> – Name: TypePub Label: Resource Type Group: TypPub Data: eBook. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Formal+methods+%28Computer+science%29%22">Formal methods (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Architecture--Data+processing%22">Architecture--Data processing</searchLink> – Name: SubjectBISAC Label: Categories Group: Su Data: <searchLink fieldCode="ZK" term="%22ARCHITECTURE+%2F+Reference%22">ARCHITECTURE / Reference</searchLink><br /><searchLink fieldCode="ZK" term="%22ARCHITECTURE+%2F+Professional+Practice%22">ARCHITECTURE / Professional Practice</searchLink><br /><searchLink fieldCode="ZK" term="%22ARCHITECTURE+%2F+Adaptive+Reuse+%26+Renovation%22">ARCHITECTURE / Adaptive Reuse & Renovation</searchLink><br /><searchLink fieldCode="ZK" term="%22ARCHITECTURE+%2F+Buildings+%2F+Landmarks+%26+Monuments%22">ARCHITECTURE / Buildings / Landmarks & Monuments</searchLink> |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=1856826 |
| RecordInfo | BibRecord: BibEntity: Classifications: – Code: 720.285 Scheme: ddc Type: prePub Languages: – Code: eng Text: English Subjects: – SubjectFull: Formal methods (Computer science) Type: general – SubjectFull: Architecture--Data processing Type: general Titles: – TitleFull: Formal Methods in Architecture and Urbanism Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: David Leite Viana, Editor – PersonEntity: Name: NameFull: Franklim Morais, Editor – PersonEntity: Name: NameFull: Jorge Vieira Vaz, Editor – PersonEntity: Name: NameFull: David Leite Viana, Editor – PersonEntity: Name: NameFull: Franklim Morais, Editor – PersonEntity: Name: NameFull: Jorge Vieira Vaz, Editor IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2018 – D: 02 M: 08 Type: profile Y: 2018 Identifiers: – Type: isbn-print Value: 9781527507623 – Type: isbn-electronic Value: 9781527514577 Titles: – TitleFull: Formal Methods in Architecture and Urbanism Type: main |
| ResultId | 1 |
