Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Jorge Vieira Vaz"'
Autor:
Catarina Ruivo, Editor, David Leite Viana, Editor, Franklim Morais, Editor, Jorge Vieira Vaz, Editor
This volume contributes to the debate on the application, in the disciplines of architecture and urbanism, of new formal methods and methodological advances based on tools from mathematics. From millennial geometry to current shape grammars, several
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
The lnternational Symposium Formal Methods in Architecture searches to contribute to the debate in the fields of Architecture and Urbanism on the application of new formal methods to emerging societal and technical questions. lt focuses on methodolog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5895d12e88e2e4764d4e062142f86bab
https://doi.org/10.17979/spudc.000006
https://doi.org/10.17979/spudc.000006
This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming
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 st
Autor:
Franklim Morais, David Leite Viana, Isabel Cristina Carvalho, Jorge Vieira Vaz, Catarina Ruivo
Publikováno v:
ISCTE-Instituto Universitário de Lisboa
Formal Methods in Architecture ISBN: 9783030575083
Formal Methods in Architecture ISBN: 9783030575083
This paper presents ScavaTools—a set of digital tools integrated into COTS software for architecture and urbanism (A&U). Its scope is on spatial configuration, accessibility, and visibility analysis (SCAVA), correlating different methodologies and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c5844ff4aa9945b337c548d54094cae
https://ciencia.iscte-iul.pt/publications/scavatools-strategies-and-tools-for-the-mass-dissemination-of-scava-techniques-/77925?lang=en
https://ciencia.iscte-iul.pt/publications/scavatools-strategies-and-tools-for-the-mass-dissemination-of-scava-techniques-/77925?lang=en