Search Results - "SOBEL, Ann E. Kelley"

SE2004: Recommendations for Undergraduate Software Engineering Curricula by Lethbridge, T.C., LeBlanc, R.J., Sobel, A.E.K., Hilburn, T.B., Diaz-Herrera, J.L.

“…Universities throughout the world have established undergraduate programs in software engineering, which complement existing programs in computer science and…”
Get full text

Formal methods application: an empirical tale of software development by Sobel, A.E.K., Clarkson, M.R.

“…The development of an elevator scheduling system by undergraduate students is presented. The development was performed by 20 teams of undergraduate students,…”
Get full text

Applying an operational formal method throughout software engineering education by Kelley Sobel, Ann E.

“…A strategy for integrating formal method application into several courses that are found in a software engineering curriculum is presented. A balance is made…”
Get full text

Response to "Comments on 'Formal methods application: an empirical tale of software development"' by Sobel, A.E.K., Clarkson, M.R.

“…We respond to criticism by D. Berry and W. Tichy of our paper that appeared in the March 2002 issue of IEEE Transactions on Software Engineering. Many of the…”
Get full text

SE2004 : Recommandations for undergraduate software engineering curricula : Software engineering curriculum development by LALHBRIDGE, Timolhy C, LEBLANC, Richard J, SOBEL, Ann E. Kelley, HILBURN, Thomas B, DIAZ-HERRERA, Jorge L

Get full text

Incorporating an operational formal into a software engineering curriculum by Kelley Sobel, A.E.

“…This paper outlines the content and the integration of an operational formal method into the undergraduate software engineering curriculum of the Systems…”
Get full text

Supporting the Formal Analysis of Software Systems by Campbell, S., Sobel, A.E.K.

“…The formal analysis support environment, Advanced Design Employing Pattern Templates (ADEPT), is outlined. The use of ADEPT will alleviate the software…”
Get full text

Advances in software specification and verification introduction to minitrack by Sobel, A.E.K., Linger, R.C.

“…Provides an overview of the technical articles and features presented in this minitrack…”
Get full text

MODULAR VERIFICATION OF CONCURRENT SYSTEMS (PROGRAMMING LANGUAGES) by SOBEL, ANN E. KELLEY

“…From the earliest days of computer science, programmers have been faced with the task of demonstrating that their programs achieve some intended purpose. This…”
Get full text

Final results of incorporating an operational formal method into a software engineering curriculum by Sobek, A.E.K.

“…This project, which is funded by the NSF Educational Innovation Program (CDA-9522257), integrates an operational formal method into the undergraduate software…”
Get full text