1 - 25 of 2
| 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 |
1 - 25 of 2