Formal Methods in Architecture - 9783030575083

Šajā rediģētajā grāmatā ir apkopoti pētījumi, kas tika prezentēti 5. Starptautiskajā simpozijā par formālajām metodēm arhitektūrā (5FMA), Lisabonā 2020. Pētījumi ir vērsti uz tādu metodoloģiju izmantošanu, jo īpaši tām, kuras ir nesen notikušas un kuras izriet no matemātikas un datorzinātnēm un ir izstrādāts, sadarbojoties ar arhitektūru un ar to saistītām jomām. Šī grāmata ir ieguldījums debatēs un jaunu metodoloģiju un rīku ieviešanā minētajās jomās, kas izriet no formālu metožu pielietošanas jaunu nepārprotamu valodu radīšanā problēmu risināšanai arhitektūrā un urbānismā. Tas sniedz vērtīgu ieskatu jaunu prakšu izstrādē, risinot identificētās sabiedrības problēmas un veicinot iestāžu digitālo transformāciju minētajās jomās. Šīs grāmatas galvenā auditorija būs no arhitektūras, pilsētplānošanas, civilās inženierijas, AEC, ainavu dizaina, datorzinātņu un matemātikas jomām, gan akadēmiķi, gan profesionāļi.