Formal methods application: An empirical tale of software development AEK Sobel, MR Clarkson IEEE transactions on software engineering 28 (3), 308-320, 2002 | 87 | 2002 |
Software engineering 2004: curriculum guidelines for undergraduate degree programs in software engineering RJ LeBlanc, A Sobel, JL Diaz-Herrera, TB Hilburn IEEE Computer Society, 2006 | 86 | 2006 |
SE2004: Recommendations for undergraduate software engineering curricula TC Lethbridge, RJ LeBlanc Jr, AEK Sobel, TB Hilburn, JL Díaz-Herrera IEEE software 23 (6), 19-25, 2006 | 70 | 2006 |
The flow-service-quality framework: unified engineering for large-scale, adaptive systems A Hevner, R Linger, A Sobel, G Walton Proceedings of the 35th Annual Hawaii International Conference on System …, 2002 | 37 | 2002 |
Empirical results of a software engineering curriculum incorporating formal methods AEK Sobel ACM SIGCSE Bulletin 32 (1), 157-161, 2000 | 25 | 2000 |
Technology transfer issues for formal methods of software specification K Abernethy, J Kelly, A Sobel, JD Kiper, J Powell Thirteenth Conference on Software Engineering Education and Training, 23-31, 2000 | 23 | 2000 |
A trace-based model of the chinese wall security policy AEK Sobel, J Alves-Foss Proceedings of the 22nd National Information Systems Security Conference, 1999 | 21 | 1999 |
Response to" Comments on'Formal methods application: an empirical tale of software development"' AEK Sobel, MR Clarkson IEEE Transactions on Software Engineering 29 (6), 572-575, 2003 | 19 | 2003 |
Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering JM Atlee, RJ LeBlanc Jr, TC Lethbridge, A Sobel, JB Thompson Proceedings of the 27th international conference on Software engineering …, 2005 | 18 | 2005 |
The move toward electronic health records AEK Sobel Computer 45 (11), 22-23, 2012 | 16 | 2012 |
Curricular foundations for cybersecurity A Sobel, A Parrish, RK Raj Computer 52 (3), 14-17, 2019 | 14 | 2019 |
The escalating cost of college AEK Sobel Computer 46 (12), 85-87, 2013 | 13 | 2013 |
Engineering an introductory software engineering curriculum R Duley, GW Hislop, TB Hilburn, AEK Sobel Proceedings 16th Conference on Software Engineering Education and Training …, 2003 | 13 | 2003 |
Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering JM Atlee, RJ LeBlanc, TC Lethbridge, A Sobel, JB Thompson Software Engineering Education in the Modern Age: Software Education and …, 2006 | 12 | 2006 |
Semantic foundations for survivable system analysis and design R Linger, A Hevner, G Walton, A Sobel Proceedings of the International Conference on Dependable Systems and …, 2001 | 12 | 2001 |
Experience integrating a formal method into a software engineering course AE Kelley Sobel ACM SIGCSE Bulletin 28 (1), 271-274, 1996 | 12 | 1996 |
Specifying Large-Scale, Adaptive Systems with Flow-Service-Quality (FSQ) Objects A Hevner, R Linger, A Sobel, G Walton Proceedings of the 10th OOPSLA Workshop on Behavioral Semantics, 2001 | 10 | 2001 |
Computing Curricula--Software Engineering Volume AEK Sobel Proc. of the Final draft of the software engineering education knowledge (SEEK), 2003 | 9 | 2003 |
Interview: Software security in the real world AEK Sobel, G McGraw Computer 43 (9), 47-53, 2010 | 8 | 2010 |
Computing Curricula--Software Engineering Volume. Final Draft of the Software Engineering Education Knowledge (SEEK) AEK Sobel IEEE with ACM, 2003 | 8 | 2003 |