共 50 条
- [31] A SOFTWARE ENGINEERING PARADIGM FOR PROGRAM SYNTHESIS [J]. SOFTWARE ENGINEERING JOURNAL, 1994, 9 (05): : 213 - 220
- [33] PROOFS, PROGRAM CORRECTNESS, AND SOFTWARE ENGINEERING [J]. SIGPLAN NOTICES, 1983, 18 (12): : 96 - 105
- [35] Crafting a baccalaureate program in software engineering [J]. TENTH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION & TRAINING, PROCEEDINGS, 1997, : 74 - 80
- [36] Autonomy in Software Engineering: A Preliminary Study on the Influence of Education Level and Professional Experience [J]. 11TH ACM/IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM 2017), 2017, : 229 - 234
- [38] A PROGRAM DESIGN LANGUAGE FOR SOFTWARE ENGINEERING [J]. SIGPLAN NOTICES, 1984, 19 (08): : 109 - 118
- [40] Strengthening the "Engineering" in Software Engineering Education: A Software Engineering Bachelor of Engineering Program for the 21st Century [J]. 2016 IEEE 29TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T), 2016, : 128 - 131