Formal Methods in Architecture - 9783030575083

Niniejsza książka pod redakcją zawiera badania naukowe zaprezentowane podczas 5. Międzynarodowego Sympozjum Metod Formalnych w Architekturze (5FMA), Lizbona 2020. Badania koncentrują się na zastosowaniu metodologii, zwłaszcza tych, które uległy najnowszemu rozwojowi, wywodzących się z nauk matematycznych i informatycznych i opracowane we współpracy z architekturą i dziedzinami pokrewnymi. Książka ta stanowi wkład w debatę i wprowadzenie nowych metodologii i narzędzi w wymienionych dziedzinach, które wynikają z zastosowania metod formalnych w tworzeniu nowych języków jawnych do rozwiązywania problemów w architekturze i urbanistyce. Dodaje cenny wgląd w rozwój nowych praktyk rozwiązujących zidentyfikowane problemy społeczne i promujących transformację cyfrową instytucji w wymienionych obszarach. Głównymi odbiorcami tej książki będą przedstawiciele dziedzin architektury, urbanistyki, inżynierii lądowej, AEC, projektowania krajobrazu, informatyki i matematyki, zarówno pracownicy naukowi, jak i profesjonaliści.