1 - 25 of 3
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Sivo, Jacob | Agile in the Wild - An in-Depth look into EAE Student Development Practice | There have been works produced on Agile techniques and their e#11;ectiveness in terms of both actual project progress as well as human factors, especially in industry. There are many training programs that companies enroll their employees in, such as ASPE. In these training programs, individuals are... | 2019 | |
| 2 |
 |
Machado, Liam | Extending Support for Floating-Points in the Boogie and Smack Software Verifiers | Software veri#12;cation, which aims to prove critical properties about programs using rigorous formal methods based on logic, is an active area of research in the #12;eld of computer science. In particular, the veri#12;cation of oating-points is a topic of paramount importance, given their ubiquity... | 2019 | |
| 3 |
 |
Potter, Hannah | Lifting Coach: Using Machine Learning to Battle Musculoskeletal Damage | Many manual laborers develop musculoskeletal disorders performing their work duties. The prevalence of these issues is concerning because of the negative effects on workers' health and well-being, the great cost to workers who are not able to work temporarily or permanently, and the great cost to co... | 2019 |
1 - 25 of 3