This book constitutes the refereed proceedings of the 16th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2015, held in S

This book constitutes the refereed proceedings of the 16th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2015, held in S

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on t

Rapid urbanization poses significant challenges for cities worldwide, demanding sustainable development solutions. However, traditional city management approach

Building automation systems and digital technologies are highly relevant for the environmental and energy performance of buildings. However, a clear gap remains