Publication | Closed Access
What can you do if you are convinced a structure will work but can’t prove it to code?
10
Citations
0
References
2021
Year
EngineeringArchitectural EngineeringVerificationSoftware EngineeringStructural SystemsFormal VerificationBuilding DesignSocial SciencesBuilt EnvironmentThorough UnderstandingOriginal Building StructureMechanical VerificationProof ComplexityArchitectural TheoryDesignProof TheoryComputer ScienceArchitectural Design’ S IntentProgram AnalysisAutomated ReasoningFormal MethodsProof AssistantProof SystemConstruction Engineering
The article explores ways to justify reuse of existing structures through a thorough understanding of the original building structure, and engineer’s intent.