פרופ' קוגלר הלל יסודות הנדסת תוכנה 2.0 83-548
Software Testing and Quality Assurance |  |
Patrice Godefroid. 2020. Fuzzing: hack, art, and science. Commun. ACM 63, 2 (February 2020), 70–76. https://doi.org/10.1145/3363824 | |
The essence of software : why concepts matter for great design Daniel Jackson. Princeton University Press. eBook |  |
de Moura, L., Kong, S., Avigad, J., van Doorn, F., von Raumer, J. (2015). The Lean Theorem Prover (System Description). In: Felty, A., Middeldorp, A. (eds) Automated Deduction - CADE-25. CADE 2015. Lecture Notes in Computer Science, vol 9195. Springer, Cham. https://doi.org/10.1007/978-3-319-21401-6_26 |  |
Bleisinger O, Keil M, Eigner M. Systems Engineering of AI-based systems from perspective of design teams. Proceedings of the Design Society. 2025;5:2991-3000. doi:10.1017/pds.2025.10313 | |
Ruiyin Li, Peng Liang, Yifei Wang, Yangxiao Cai, Weisong Sun, and Zengyang Li. 2026. Unveiling the Role of ChatGPT in Software Development: Insights from Developer–ChatGPT Interactions on GitHub. ACM Trans. Softw. Eng. Methodol. 35, 10, Article 320 (October 2026), 30 pages. https://doi.org/10.1145/3798163 | |
Bartocci, E., Falcone, Y., Francalanza, A., Reger, G. (2018). Introduction to Runtime Verification. In: Bartocci, E., Falcone, Y. (eds) Lectures on Runtime Verification. Lecture Notes in Computer Science, vol 10457. Springer, Cham. https://doi.org/10.1007/978-3-319-75632-5_1 | |
Refactoring : Improving the Design of Existing Code Martin Fowler. Boston: Addison-Wesley, 2019. Second edition. eBook |  |
Design by contract, by example Richard Mitchell, Jim McKim, and Bertrand Meyer Addison Wesley Longman Publishing Co., 2021
|  |
תאריך עדכון אחרון : 01/11/2026
