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.

Acerca del autor

Sara Eloy graduated in Architecture (FA.UTL 1998) and have a PhD in Architecture (IST.UTL 2012) under the theme “Transformation grammar-based methodology for housing rehabilitation: meeting contemporary functional and ICT requirements”. She is an Assistant Professor in ISCTE-Instituto Universit�rio de Lisboa and develops her research in ISTAR-IUL (Information Sciences, Technology and Architecture Research Centre) and with international collaborations. Eloy is the director of ISTAR-IUL since 2017. She was director of the Department of Architecture and Urbanism and of the Integrated Master in Architecture at ISCTE-IUL in Lisbon between 2013 and 2016. She has participated in national and international funded research projects (Artificial Realities, OLA, IRIS, VUK, AAL4ALL, among others) and published more than 100 papers in several journals as Sensors, Environment and Planning B, AIEDAM and Nexus Network Journal and conferences. She has been expert evaluator for the European Commissionsince 2015 and acts as an expert consultant for companies regarding design project and the incorporation of digital technologies as mixed realities in architecture. She curated two exhibitions in the scope of the Lisbon Architecture Triennale first in 2013 and more recently, in 2019, with the theme “Artificial Realities: Virtual as an Aesthetic Medium for Architectural Ideation”. Eloy’s main areas of research are shape grammar design systems, Digital Technologies applied to Architecture, CAAD, Virtual and Augmented Reality, Analysis of the building space namely considering space perception, Space Syntax and Housing Rehabilitation. In ISTAR-IUL she collaborates with researchers from the fields of Computer Sciences, Mathematics and Psychology. This collaboration enabled the development of real software prototypes to be use in the architecture design process and in the visualization of architecture as Alternative Shaper, VIARmodes4BIM, ARch4models, Arch4maps, SeeARch. At ISCTE she teaches disciplines of Architectural Computer Aided Design, Drawing, new technologies applied to Architecture and Research Methodologies.

David Leite Viana is post-doc. in Urban Morphology/Civil Engineering (FEUP, Portugal), PhD in Urban and Spatial Planning (IUU-UVa, Spain), DEA in City Planning (UVa, Spain) and Dipl. Arch. (ESAP, Portugal), and develops his professional activity in the Municipal Planning Department at Oporto City Council and at the Digital Living Spaces Group, within the ISTAR-IUL - Information Sciences, Technology and Architecture Research Centre (ISCTE-IUL, Portugal). He is an external expert on urban sustainability and wellbeing for the European Commission (Belgium), PhD supervisor in the doctorate programme on Architecture for the Contemporary Metropolitan Territories (ISCTE IUL) and external reviewer in the Architecture and Urban Design Programme at Chalmers University of Technology (Sweden). He is professor in the specialization programme on Collaborative Territories (IPPS, ISCTE-IUL) and in the Master Programme on Geographic Information Systems Applied to Spatial Planning, Urbanism and Landscape at the Polytechnic University of Valencia (Spain). He is (co)founder and Chair of the International Symposium Formal Methods in Architecture. He is scientific councillor of the Portuguese Language Network of Urban Morphology (PNUM) and editorial board member of the scientific journal Revista de Morfologia Urbana (RMU). He headed architecture and urbanism programmes/departments in different schools, he led a research group on urbanism, environment, and territory and he was Director-Secretary of the Centre for African Studies, University of Oporto (CEAUP). He was guest co-editor of the Special Issue ‘Formalizing Urban Methodologies’ (Urban Science Journal, 2018), co-editor of the book Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing, 2018) – that reached Amazon Brazil top 5 best sellers foreign books in Regional Planning category – and author of the book Maputo: (auto)organiza��o e formadin�mica urbana (University of Oporto Press, 2019). He was co distinguished by the International Society of City and Regional Planning (ISoCaRP) with the Sir Gerd Albers Award.

Franklim Morais (b. 1957) is a Portuguese civil and electronic engineer, PhD. Professor and Researcher. He was the leader of development teams of private commercial software for scientific applications: pioneering, in the early 1980s, the use of finite element methods for structural engineering on microcomputing; and since the early 1990s developing COTS private hardware and software systems for smart buildings, urban spaces and cities. He is an invited professor in ESAP (Arts University of Porto) Architectural Course since 2001. He participates in LIAD, an academic research team, in a group dedicated to Formal Methods in Architecture. A major achievement is the production of DepthSpace3D, a digital tool for space syntax analysis. Since 1991, he participated in the organization (scientific and operational committees) of 11 conferences on his scientific fields of interest, including the 5 symposia of the series “Formal Methods in Architecture” (since 2011). In the 1990s he was vice-president of API - Information Technologies Portuguese Association.

Jorge Vieira Vaz is an Architect (FA Uni. Porto, Portugal, 1990), Master in Urban Renovation (Poznań Uni. Tech, Poland, 1995), DEA in Composici�n Arquitect�nica (Uni. Valladolid, Spain, 2002), He is a professor of Construction and Technologies in the Master Course in Architecture at ESAP (Porto, since 1993). He was a professor at Coimbra Univ. (Civil Engineering Department), Aveiro University (Communication & Art Department), ARCA / ETACoimbra (Architecture Course) and at High Institute of Administrative and Informational Sciences of Aveiro (Public Administration Course). He was MSc supervisor and jury member in several institutions (Minho Univ., Gallaecia Univ., Aveiro Univ. and ESAP). He develops his professional activity as architect since 1991 and at AAVV (Portugal and Bonaire, since 2000), is a certified expert in building thermal behavior (ADENE, since 2008) and is BIM / VDCPM - Building Information Modeling / Virtual Design and Construction Project Manager (since 2005). He was co–founder of IERU – Institute of Regional & Urban Studies at Univ. of Coimbra (1991) and was a researcher at MEREC Project – Managing Energy and Resources in Efficient Cities (Tennessee Valley Authority / CCRC / FLAD, Coimbra, 1991) and at RECITE / REBUILD Network Programme - Renewable Energies for Buildings in European Historical Centers, (European Commission – DGXVII, 1991/95), nowadays develops his research activity in Formal Methodologies in Architectural Design and Construction, namely parametric design, ontologies and taxonomy, at LIAD / ESAP- Architecture & Design Research Laboratory (Porto, since 2010). He co-developed “DepthSpace 3D” digital tool, for 3 dimensional spatial syntactic analyses (LIAD / ESAP) now a full functional digital application in Space Syntax (SS), granted by UE founds. He is (co)founder and Chair of the International Symposium Formal Methods in Architecture (Porto, since 2011). He was guest co editor of the Special Issue ‘Formalizing Urban Methodologies’ (Urban Science Journal, 2018) and was co-editor of the book Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing, 2018).

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We carry a comprehensive range of out of print and rare books.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Kennys Bookshops and Art Galleries Limited
Liosban Industrial Estate, Tuam Road, Galway, GY, Ireland

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it's described on the Abebooks websites.

If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.

For any queries please use the contact seller link or send an email to books@kennys.ie

Conor Kenny

Derecho a cancelaci�n

Si eres un consumidor puedes cancelar el presente contrato de acuerdo con lo indicado a continuaci�n. Son consumidores las personas f�sicas que act�en con un prop�sito ajeno a su actividad comercial, empresarial, oficio o profesi�n.

Documento de informaci�n al consumidor y usuario sobre el desistimiento

Derecho de desistimiento:

Tienes derecho a desistir del presente contrato en un plazo de 14 d�as naturales sin necesidad de justificaci�n.

El plazo de desistimiento expirar� a los 14 d�as naturales del d�a en que t� o un tercero que hayas indicado, distinto del transportista, adquiera la posesi�n material del �ltimo bien, componente o pieza.

Para ejercer el derecho de desistimiento, deber�s notificarnos a Kennys Bookstore, The Museum at Tall Timbers, 2707 Olney - Sandy Spring Road, 20832, Olney, Maryland, U.S.A., +353 91709350, de tu decisi�n de desistir del contrato a trav�s de una declaraci�n inequ�voca (por ejemplo, una carta enviada por correo postal, fax o correo electr�nico). Podr�s utilizar el modelo de formulario de desistimiento que figura a continuaci�n, aunque su uso no es obligatorio. Tienes asimismo la opci�n de cumplimentar y enviar electr�nicamente el modelo de formulario de desistimiento o cualquier otra declaraci�n inequ�voca a trav�s de nuestro sitio web a "Mis pedidos" en "Mi cuenta". Si recurres a esta opci�n, te comunicaremos sin demora en un soporte duradero (por ejemplo, por correo electr�nico) la recepci�n de dicho desistimiento.

Para cumplir el plazo de desistimiento, basta con que la comunicaci�n relativa al ejercicio por tu parte de este derecho sea enviada antes de que venza el plazo correspondiente.

Consecuencias del desistimiento:

En caso de desistimiento por tu parte, te devolveremos todos los pagos recibidos de ti, incluidos los gastos de entrega (con la excepci�n de los gastos adicionales resultantes de la elecci�n por tu parte de una modalidad de entrega diferente a la modalidad menos costosa de entrega ordinaria que ofrezcamos) sin ninguna demora indebida y, en todo caso, a m�s tardar 14 d�as naturales a partir de la fecha en la que se nos informes de tu decisi�n de desistir del presente contrato. Procederemos a efectuar dicho reembolso utilizando el mismo medio de pago empleado por ti para la transacci�n inicial, a no ser que hayas dispuesto expresamente lo contrario; en todo caso, no incurrir�s en ning�n gasto como consecuencia del reembolso.

Podremos retenerte el reembolso hasta haber recibido los bienes, o hasta que hayas presentado una prueba de la devoluci�n de los mismos, seg�n qu� condici�n se cumpla primero. Deber�s devolvernos o entregarnos directamente los bienes a Kennys Bookstore, The Museum at Tall Timbers, 2707 Olney - Sandy Spring Road, 20853, Olney, Maryland, U.S.A., +353 91709350, sin ninguna demora indebida y, en cualquier caso, a m�s tardar en el plazo de 14 d�as naturales a partir de la fecha en que nos comuniques tu decisi�n de desistimiento del contrato. Se considerar� cumplido el plazo si efect�as la devoluci�n de los bienes antes de que haya concluido dicho plazo. Deber�s asumir el coste directo de devoluci�n de los bienes. Solo ser�s responsable de la disminuci�n de valor de los bienes resultante de una manipulaci�n distinta a la necesaria para establecer la naturaleza, las caracter�sticas y el funcionamiento de los bienes.

Excepciones al derecho de desistimiento:

La entrega de peri�dicos, publicaciones especializadas o revistas con la excepci�n de contratos de suscripci�n; y
La entrega de contenido digital (incluyendo apps, MP3, etc.) que no hubiera sido entregado en un medio tangible (por ejemplo: CD o DVD), si al realizar tu pedido has aceptado que podemos proceder al env�o del producto y que no resulta posible su cancelaci�n una vez comienza la entrega.

Modelo de formulario de desistimiento

(S�lo debe cumplimentar y enviar el presente formulario si desea desistir del contrato)

A la atenci�n de: (Kennys Bookstore, The Museum at Tall Timbers, 2707 Olney - Sandy Spring Road, 20832, Olney, Maryland, U.S.A., +353 91709350)

Por la presente le comunico/comunicamos* que desisto de mi/desistimos de nuestro* contrato de venta del siguiente bien/prestaci�n del siguiente servicio*

Pedido el/recibido el*:

Nombre del consumidor y usuario o de los consumidores y usuarios:

Domicilio del consumidor y usuario o de los consumidores y usuarios:

Firma del consumidor y usuario o de los consumidores y usuarios (solo si el presente formulario se presenta en papel):

Fecha:

* Eliminar en su caso

Condiciones de env�o

All books securely packaged. Some books ship from Ireland.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 14 a 20 d�as h�biles	De 13 a 14 d�as h�biles
Primer art�culo	EUR 9.02	EUR 18.04

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.