共 50 条
- [31] PROOFS, PROGRAM CORRECTNESS, AND SOFTWARE ENGINEERING SIGPLAN NOTICES, 1983, 18 (12): : 96 - 105
- [32] An integrated Software Engineering workshops program 28TH ANNUAL FRONTIERS IN EDUCATION CONFERENCE - CONFERENCE PROCEEDINGS, VOLS 1-3, 1998, : 1016 - 1021
- [35] A SOFTWARE ENGINEERING PARADIGM FOR PROGRAM SYNTHESIS SOFTWARE ENGINEERING JOURNAL, 1994, 9 (05): : 213 - 220
- [36] A study program for professional software engineering 16TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 2003, : 298 - 308
- [39] Crafting a baccalaureate program in software engineering TENTH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION & TRAINING, PROCEEDINGS, 1997, : 74 - 80
- [40] Initiating an undergraduate program in software engineering Software Engineering Education Conference, Proceedings, 2000,