Dobos-Kovács, Mihály and Vörös, András and Micskei, Zoltán (2025) Beyond Hello World: Teaching software engineering with realistic and automated assignments. In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eszterházy Károly Katolikus Egyetem Líceum Kiadó, Eger, pp. 51-64. ISBN 9789634963035
|
Text
fmfai2025_pp051-064.pdf - Published Version Download (2MB) | Preview |
Abstract
Software engineering is a complex discipline that requires engineers to blend various skills to produce quality software adeptly. In this paper, we propose a software engineering assignment that follows the lifecycle of a feature of a real-world project, mimics real-world challenges, promotes best practices, and shows the importance of verification techniques. We deploy the assignment in a university course and discuss our findings regarding functional correctness, code quality, and being on schedule. Finally, we propose an AI-assisted outcome estimation method to help identify struggling students while the home assignment is ongoing.
| Item Type: | Book Section |
|---|---|
| Additional Information: | International Conference on Formal Methods and Foundations of Artificial Intelligence, Eger, June 5–7, 2025 |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 30 Oct 2025 14:53 |
| Last Modified: | 30 Oct 2025 14:53 |
| URI: | https://real.mtak.hu/id/eprint/227769 |
Actions (login required)
![]() |
Edit Item |




