Formal Methods in Architecture | Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
Language: English
Published by Springer, 2022
Series: Book 42 of 129 - Advances in Science, Technology & Innovation
- Softcover
- New
Seller: preigu, Osnabrück, Germanypreigu
AbeBooks seller since August 5, 2024
Condition: New
US$ 172.98
Quantity: 5 available
Add to basketItem description from seller
Seller Inventory # 120916527
- Title
- Formal Methods in Architecture | Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
- Author
- Sara Eloy (u. a.)
- Publisher
- Springer
- Publication year
- 2022
- Condition
- Neu
- Binding
- Taschenbuch
- Language
- English
- ISBN 10
- 303057511X
- ISBN 13
- 9783030575113
- Item weight
- 849 grams
- Dimensions
- 279 x 210 x 19 mm
- Series
- Book 42 of 129: Advances in Science, Technology & Innovation
- Seller catalogs
- Bücher
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.
"Synopsis" may belong to another edition of this title.
About the Author
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).
"About the title" may belong to another edition of this title.
Shipping rates from Germany to U.S.A.
| Item | 60 to 60 business days | 60 to 60 business days |
|---|---|---|
| First item | US$ 81.33 | US$ 81.33 |
Payment methods
- Paypal
Store description
Specialty
Bücher, SpielwarenSeller's business information
preigu GmbH & Co. KG
Lengericher Landstraße 19
Osnabrück, Germany 49078
Terms of sale
Standard Business Terms and customer information
I. Standard business terms
§ 1 Basic provisions
(1) The following terms and conditions of business apply for all contracts concluded with us as the supplier (preigu GmbH & Co. KG) via the websites AbeBooks and/or ZVAB. Unless otherwise agreed, the inclusion of your own terms and conditions is explicitly rejected.
(2) A ‘consumer' in the sense of the following regulations is every natural person who concludes a legal transaction which, to an overwhelming extent, cannot be attributed to either his commercial or independent professional activities. The term ‘businessman' refers to every natural person, legal person or legally responsible partnership that concludes a legal transaction in pursuance of his/its independent professional or commercial activity.
§ 2 Conclusion of the contract
(1) The subject-matter of the contract is the selling of products .
(2) If an article is placed by us with AbeBooks or ZVAB, the activation of the page on AbeBooks or ZVAB shall involve the binding offer to conclude a contract under the terms and conditions contained in the article page.
(3) The contract shall become effective via the online shopping cart system as follows:
The products intended for purchase are moved to the "shopping cart". You can select the "Shopping Cart" using the appropriate buttons on the navigation bar and make changes there at any time.
After calling up the "Checkout" page and entering the required personal data and payment and shipping conditions, all order information is then displayed again on the order summary page.
Before submitting the order, you have the ability once more to review or change any information here (you may also use the "back" button on the Internet browser), or to cancel the purchase.
By clicking the "Buy now" button to submit the order, you declare your legally binding acceptance of the order which makes the contract effective.
(4) The execution of the order and the sending of all the details necessitated by the conclusion of the contract take place via e-mail, in a partially-automated manner. Consequently, you have to ensure that the e-mail address that you have deposited with us is the correct one, and that the receipt of the respective e-mails is guaranteed. In particular, you have to ensure that the respective e-mails are not blocked by a SPAM filter.
§ 3 Right of retention, reservation of proprietary rights
(1) You can only exercise a right of retention if the situation in question involves claims arising from the same contractual relationship.
(2) The goods remain our property until the purchase price is paid in full.
§ 4 Warranty
(1) The statutory warranty rights are applicable.
(2) As a consumer, you are requested to promptly check the product for completeness, visible defects and transport damage as soon as it is delivered, and promptly disclose your complaints to us and the shipping company in writing. Even if you do not comply with this request, it shall have no effect on your legal warranty claims.
(3) If a characteristic of the goods deviates from the objective requirements, the deviation shall only be deemed to be agreed if you were informed of the same by us before submitting the contractual declaration and the deviation was expressly and separately agreed between the contracting parties.
§ 5 Choice of law, place of fulfilment, jurisdiction
(1) German law shall apply. This choice of law only applies to customers if it does not result in the revocation of the protection guaranteed by the mandatory provisions of the law of the country in which the respective customer's usual place of residence is located (benefit-of-the-doubt principle).
(2) If you are not a consumer, but a businessman, a legal entity under public law or an institutional fund governed by public law, our place of business is the place of jurisdiction as well as the place of fulfilment for all services that follow from the business relationships that exist with us. The same condition applies to situations in which you are not associated with a general place of jurisdiction in Germany or the EU, as well as situations in which the place of residence or the usual place of residence is not known at the time of commencement of proceedings. This has no bearing on the capacity to call upon the court associated with another place of jurisdiction.
(3) The provisions of the UN Convention on Contracts for the International Sale of Goods are explicitly inapplicable.
II. Customer information
- Identity of the seller
preigu GmbH & Co. KG
Lengericher Landstr. 19
49078 Osnabrück
Germany
Telephone: 0541-580 72 84
E-Mail: mail@preigu.de
We are neither willing nor obliged to participate in dispute resolution proceedings before consumer arbitration boards.
- Information regarding the conclusion of the contract
The technical steps associated with the conclusion of the contract, the contract conclusion itself and the correction options are executed in accordance to the regulations "conclusion of the contract" in our standard business terms (part I.).
- Contractual language, saving the text of the contract
3.1 Contract language shall be English.
3.2 The complete text of the contract is not saved with us. Before the order is sent, the contract data can be printed out or electronically saved using the browser's print function. After the order is received by us, the order data, the legally-mandated details related to distance selling contracts and the standard business terms are re-sent to you via e-mail.
- Main features of the product or service
The key features of the goods and/or services can be found in the respective quote.
- Prices and payment arrangements
5.1 The prices mentioned in the respective offers represent total prices, as do the shipping costs. They include all the price components, including all the incidental taxes.
5.2 The dispatch costs that are incurred are not included in the purchase price. They can be viewed by clicking the appropriate button on our website or in the respective quote, are shown separately over the course of the order transaction and must additionally be borne by you, insofar as free delivery is not confirmed.
5.3 If delivery is made to countries outside of the European Union, we may incur unreasonable additional costs, such as duties, taxes or money transfer fees (transfer or foreign exchange fees charged by the banks), which you must bear.
5.4 You must also bear the costs arising from money transfers in cases in which the delivery is made to an EU Member State, but the payment is initiated outside of the European Union.
5.5 The payment methods that are available to you are shown by clicking the appropriate button on our website or are disclosed in the respective quote.
5.6 Unless otherwise specified for the respective payment methods, the payment claims arising from the contract that has been concluded become payable immediately.
- Delivery conditions
6.1 The delivery conditions, delivery date and existing supply restrictions, if applicable, can be found by clicking the appropriate button on our website or in the respective quote.
Unless a different period is specified in the item description or our delivery conditions, the goods are delivered within 3-5 days after the conclusion of the contract (in case an advance payment has been agreed upon, after the payment authorisation).
6.2 If you are a consumer, the following is statutorily regulated: The risk of the sold item accidentally being destroyed or degraded during shipping only passes over to you when the item in question is delivered, regardless of whether or not the shipping operation is insured. This condition does not apply if you have independently commissioned a transport company that has not been specified by us or a person who has otherwise been appointed to execute the shipping operation.
- Statutory warranty right
Liability for defects is governed by the "Warranty" provisions in our General Terms and Conditions of Business (Part I).
Information on battery disposal
In connection with the sale of batteries or the delivery of devices containing batteries, we are obliged to inform you of the following:
Batteries must not be disposed of with household waste.
You can either return used batteries that we carry or have carried in our range as new batteries to us at your own expense or return them free of charge to our shipping warehouse (shipping address). Alternatively, you can hand in the batteries at your local collection points.
As an end user, you are legally obliged to return used batteries so that they can be recycled or disposed of properly.
Used batteries may contain harmful substances that can damage the environment or your health if not stored or disposed of properly. However, batteries also contain important raw materials such as iron, zinc, manganese or nickel and can be recycled.
The symbols on the batteries have the following meanings:
The symbol of the crossed-out wheelie bin means that the battery must not be disposed of with household waste.
For batteries containing a certain amount of lead, cadmium or mercury, the following additions below the symbol with the crossed-out wheelie bin indicate the respective pollutants:
Pb = Battery contains more than 0.004% lead by weight
Cd = Battery contains more than 0.002% cadmium by weight
Hg = Battery contains more than 0.0005% mercury by weight
Information on the costs involved in accordance with Article 56 (4) of the EU Battery Regulation (Regulation 2023/1542) can be found at the ‘Batterie-Zurück (https://www.batterie-zurueck.de/de/bewirtschaftungvonaltbatterien/)' initiative.
Please pay attention to the above instructions.