Religion software engineering computer software selection and evaluation formal logic formal methods program compilers programming languages semantics verification architecture computer architecture mathematical physics model checker model checking multi core processors specifications state space thema EDItEUR::N History and Archaeology::NH History thema EDItEUR::P Mathematics and Science::PD Science: general issues thema EDItEUR::P Mathematics and Science::PH Physics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design AGRICULTURE Adaptive reuse of religious buildings; Church property management; Sacred architecture and urban development; Sustainable repurposing of churches; Post-secular urbanism; Interdisciplinary approaches to sacred space transformation; Real estate strategies for religious heritage; Stakeholder management in church repurposing; Creative financing models for church transformation; International case studies on adaptive reuse of churches Austria Biophysics Bushmanland Cappadoce méridionale