Formal Methods in Architecture by Bruno Marques
This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from 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. Some of the themes are CAD and BIM, mixed realities, photogrammetry and 3D scan, architectural design automation, urban and building performance analysis, SCAVA-space configuration, accessibility, and visibility analysis. The book serves as a valuable resource for those in academia and industry.
-
Integrated Project Design
-
Simulation Tools for Predicting Daylighting Conditions in Buildings
-
Revolutionizing Civil Engineering with Neuromorphic Computing
-
Digital Railway Infrastructure
-
Egress Modelling of Pedestrians for the Design of Contemporary Stadia
-
Responsive Envelopes and Climate Change
-
Assessing Progress in Decarbonizing Spain’s Building Stock
-
3D Printing for Construction with Alternative Materials
-
Non-Destructive Methodologies and Adapted Signal Processing Techniques in the Field of Cultural Heritage
-
Nature-Based Cities
-
Digitization of Built Heritage
-
Understanding Human Errors in Construction Industry
-
New Advances in Building Information Modeling and Engineering Management
-
Green Approaches in Building Design and Management Practices
-
Cultural Heritage Education in the Everyday Landscape
-
Systemic Circular Economy Solutions for Fiber Reinforced Composites
-
Advanced Technologies for Cultural Heritage Monitoring and Conservation
-
Data and the Built Environment
-
Advances in Representation
-
Immersive Virtual Reality for a Building Occupant-Centric Design
-
New Frontiers of Construction Management
-
BIM Geometry with Julia Plasm—Functional Language for CAD Programming
-
Construction Incentivization
-
Intelligent Building Fire Safety and Smart Firefighting
| SKU | Unavailable |
| ISBN 13 | 9783032027818 |
| ISBN 10 | 3032027810 |
| Title | Formal Methods in Architecture |
| Author | Bruno Marques |
| Series | Digital Innovations In Architecture Engineering And Construction |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Springer Nature Switzerland AG |
| Year published | 2025-10-19 |
| Number of pages | 698 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |