國立虎尾科技大學 |

Formal Methods in Architecture = Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal Methods in Architecture/ edited by Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz.
Reminder of title:	Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /
other author:	Eloy, Sara.
Description:	XXXII, 313 p. 193 illus., 159 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Architecture. -
Online resource:	https://doi.org/10.1007/978-3-030-57509-0
ISBN:	9783030575090

Formal Methods in Architecture = Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /
Formal Methods in ArchitectureProceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /[electronic resource] :edited by Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz. - 1st ed. 2021. - XXXII, 313 p. 193 illus., 159 illus. in color.online resource. - Advances in Science, Technology & Innovation, IEREK Interdisciplinary Series for Sustainable Development,2522-8722. - Advances in Science, Technology & Innovation, IEREK Interdisciplinary Series for Sustainable Development,.

The Ethics of our Work -- From Datascape to Formal Methods -- Variational Beauty of Space. Machine Intuition and Urban Networks -- Global and Disciplinary Frameworks for Formal Methods in Architecture -- Mathematically Developing Building Facades: an Algorithmic Framework -- Design to Experiment - Experiment to Design: Tool (User, Breaker, Designer) -- Tectonics of Differential Growth. Folds in Additive Fabrication and Moulding for Architectural Design -- BIM Based Airport Design Project Standardization (IFC) for Use of Code Checking -- Agent-based Semiology: Optimizing Office Occupation Patterns with Agent-based Simulations -- Digital Doxiadis: Parametric Thinking for Human Settlements -- L’Objet Invalide.

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.

ISBN: 9783030575090

Standard No.: 10.1007/978-3-030-57509-0doiSubjects--Topical Terms:

555123
Architecture.

LC Class. No.: NA1-9428

Dewey Class. No.: 720

Formal Methods in Architecture = Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /
LDR:03393nam a22004095i 4500 001 1051637
003 DE-He213
005 20210820050405.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030575090 $9 978-3-030-57509-0
024 7 $a 10.1007/978-3-030-57509-0 $2 doi
035 $a 978-3-030-57509-0
050 4 $a NA1-9428
072 7 $a AM $2 bicssc
072 7 $a ARC000000 $2 bisacsh
072 7 $a AM $2 thema
082 0 4 $a 720 $2 23
245 1 0 $a Formal Methods in Architecture $h [electronic resource] : $b Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / $c edited by Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XXXII, 313 p. 193 illus., 159 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Advances in Science, Technology & Innovation, IEREK Interdisciplinary Series for Sustainable Development, $x 2522-8722
505 0 $a The Ethics of our Work -- From Datascape to Formal Methods -- Variational Beauty of Space. Machine Intuition and Urban Networks -- Global and Disciplinary Frameworks for Formal Methods in Architecture -- Mathematically Developing Building Facades: an Algorithmic Framework -- Design to Experiment - Experiment to Design: Tool (User, Breaker, Designer) -- Tectonics of Differential Growth. Folds in Additive Fabrication and Moulding for Architectural Design -- BIM Based Airport Design Project Standardization (IFC) for Use of Code Checking -- Agent-based Semiology: Optimizing Office Occupation Patterns with Agent-based Simulations -- Digital Doxiadis: Parametric Thinking for Human Settlements -- L’Objet Invalide.
520 $a This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.
650 0 $a Architecture. $3 555123
650 0 $a Regional planning. $3 561956
650 0 $a Urban planning. $3 1180826
650 0 $a Civil engineering. $3 561339
650 0 $a Computer science. $3 573171
650 0 $a Mathematics. $3 527692
650 1 4 $a Architecture, general. $3 670516
650 2 4 $a Landscape/Regional and Urban Planning. $3 668548
650 2 4 $a Civil Engineering. $3 669250
650 2 4 $a Computer Science, general. $3 669807
650 2 4 $a Mathematics, general. $3 669694
700 1 $a Eloy, Sara. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1356155
700 1 $a Leite Viana, David. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1356156
700 1 $a Morais, Franklim. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1356157
700 1 $a Vieira Vaz, Jorge. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1356158
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030575083
776 0 8 $i Printed edition: $z 9783030575106
776 0 8 $i Printed edition: $z 9783030575113
830 0 $a Advances in Science, Technology & Innovation, IEREK Interdisciplinary Series for Sustainable Development, $x 2522-8714 $3 1282677
856 4 0 $u https://doi.org/10.1007/978-3-030-57509-0
912 $a ZDB-2-EES
912 $a ZDB-2-SXEE
950 $a Earth and Environmental Science (SpringerNature-11646)
950 $a Earth and Environmental Science (R0) (SpringerNature-43711)