Formal Methods in Architecture - 9783030575083

See toimetatud raamat koondab teadusuuringuid, mida esitleti 5. rahvusvahelisel arhitektuurimeetodite sümpoosionil (5FMA), 2020. aasta Lissabonis. Uuringud keskenduvad metoodikate kasutamisele, eriti nendele, mis on olnud hiljutiste arengute tunnistajaks ja mis tulenevad matemaatikast ja arvutiteadustest ning on välja töötatud koostöös arhitektuuri ja sellega seotud valdkondadega. See raamat annab panuse arutelusse ning uute metoodikate ja vahendite kasutuselevõtmisse nimetatud valdkondades, mis tulenevad formaalsete meetodite rakendamisest uute selgesõnaliste keelte loomisel arhitektuuri ja urbanismi probleemide lahendamiseks. See lisab väärtuslikku ülevaadet uute praktikate väljatöötamisest, mis lahendavad tuvastatud ühiskondlikke probleeme ja soodustavad nimetatud valdkondade institutsioonide digitaalset ümberkujundamist. Selle raamatu peamiseks publikuks on arhitektuuri, linnaplaneerimise, tsiviilehituse, AEC, maastikukujunduse, arvutiteaduste ja matemaatika valdkonnad, nii akadeemikud kui ka spetsialistid.