This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Search
Skip to Search Results- 2Building Information Modeling
- 2Model Checking
- 1Construction automation
- 1Formal Methods
- 1Frame assemblies
- 1Generative Design
-
Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors
DownloadFall 2012
Inexpensive yet versatile limited-capability processors enable computing to be embedded in many kinds of devices and situations. Most applications are simple purpose-programmed reactive systems that interact with the environment through sensors and actuators. Because the processors are limited...
-
A design support system to determine the machine eligibility for manufacturing frame assemblies
DownloadFall 2019
As offsite construction is trending, an increasing number of construction products are fabricated in a controlled factory environment. By using automated machinery, the productivity and accuracy of construction-oriented products have been improved. However, as BIM models do not provide...
-
Fall 2019
Building Information Modeling (BIM) has become an integral part of the design process, as all building data is accessible in a digital representation and can be viewed in a 3D environment prior to construction. This supports the capability of evaluating or checking a model against building codes...