Ann E. Kelley Sobel

2008
32	EE	Sherrie Campbell, Ann E. Kelley Sobel: Supporting the Formal Analysis of Software Systems. CSSE (2) 2008: 776-779
2007
31	EE	Ann E. Kelley Sobel, Sherrie Campbell: Supporting the Formal Analysis of Software Designs. CSEE&T 2007: 123-132
2006
30	EE	Timothy C. Lethbridge, Richard J. LeBlanc, Ann E. Kelley Sobel, Thomas B. Hilburn, Jorge L. Díaz-Herrera: SE2004: Recommendations for Undergraduate Software Engineering Curricula. IEEE Software 23(6): 19-25 (2006)
2005
29	EE	Joanne M. Atlee, Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson: Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering. ICSE 2005: 623-624
28	EE	Joanne M. Atlee, Richard J. LeBlanc, Timothy C. Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson: Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering. Software Education and Training Sessions @ ICSE 2005: 11-27
2004
27	EE	Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel: Generating Undergraduate Software Engineering Courses/Programs Using the Computing Curricula Software Engineering Volume. CSEE&T 2004: 167-168
26	EE	John Impagliazzo, Esther A. Hughes, Richard J. LeBlanc, Timothy Lethbridge, Andrew D. McGettrick, Ann E. Kelley Sobel, Pradip K. Srimani, Mitchell D. Theys: IEEE-CS/ACM computing curricula: computer engineering & software engineering volumes. SIGCSE 2004: 450-452
2003
25	EE	Stephen B. Seidman, James Mason, Donald J. Bagert, J. Fernando Naveda, Ann E. Kelley Sobel, Dennis J. Frailey, Allen S. Parrish: Certification for Software Professionals: The IEEE Computer Society?s CSDP Program. CSEE&T 2003: 323-
24	EE	Richard J. LeBlanc, Mordechai Ben-Menachem, Thomas B. Hilburn, Susan A. Mengel, Timothy Lethbridge, J. Barrie Thompson, Ann E. Kelley Sobel, Jorge L. Díaz-Herrera: IEEE-CS/ACM Computing Curriculum Software Engineering Volume Project. CSEE&T 2003: 333-
23	EE	Rick Duley, Gregory W. Hislop, Thomas B. Hilburn, Ann E. Kelley Sobel: Engineering an Introductory Software Engineering Curriculum. CSEE&T 2003: 99-106
22	EE	Ann E. Kelley Sobel, Timothy Lethbridge: IEEE-CS/ACM computing curricula: software engineering volume. ITiCSE 2003: 217-218
21	EE	Ann E. Kelley Sobel, Michael R. Clarkson: Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". IEEE Trans. Software Eng. 29(6): 572-575 (2003)
2002
20	EE	Russell S. Blue, Jeff Wampler, G. Bowden Wise, Louis J. Hoebel, Boris Yamrom, Christopher R. Volpe, Bruce Wilde, Pascale Rondot, Ann E. Kelley Sobel, Anne Gilman, Wesley Turner, Steve Linthicum, George Ryon: An automated approach and virtual environment for generating maintenance instructions. CHI Extended Abstracts 2002: 494-495
19	EE	Ann E. Kelley Sobel, Richard C. Linger: Minitrack Introduction. HICSS 2002: 275
18	EE	Alan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton: The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. HICSS 2002: 278
17	EE	Ann E. Kelley Sobel, Michael R. Clarkson: Formal Methods Application: An Empirical Tale of Software Development. IEEE Trans. Software Eng. 28(3): 308-320 (2002)
2001
16	EE	Ann E. Kelley Sobel, Donald J. Bagert, David A. Carrington, Yoshihiro Matsumoto, Pierre N. Robillard, J. Barrie Thompson: SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel). CSEE&T 2001: 293
15	EE	Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Minitrack Introduction. HICSS 2001
2000
14	EE	Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell: Technology Transfer Issues for Formal Methods of Software Specification. CSEE&T 2000: 23-31
13	EE	Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson: Teaching Formal Methods Early in the Software Engineering Curriculum (panel). CSEE&T 2000: 55-
12	EE	Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Introduction. HICSS 2000
11	EE	Ann E. Kelley Sobel: Empirical results of a software engineering curriculum incorporating formal methods. SIGCSE 2000: 157-161
1999
10	EE	Jim Alves-Foss, Ann E. Kelley Sobel: Formal Methods and Industry - Introduction. HICSS 1999
9	EE	Ann E. Kelley Sobel: Security Analysis of Tramel. HICSS 1999
8	EE	Ann E. Kelley Sobel, Mário Guimarães: Current issues in undergraduate student research. SIGCSE 1999: 350
7	EE	Ann E. Kelley Sobel, Mário Guimarães: Current issues in graduate student research. SIGCSE 1999: 351
1998
6	EE	Ann E. Kelley Sobel: Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. HICSS (3) 1998: 348-355
5	EE	Ann E. Kelley Sobel: Applying an operational formal method throughout software engineering education. Information & Software Technology 40(4): 233-238 (1998)
1996
4	EE	James D. Kiper, Valerie V. Cross, Diane Delisio, Ann E. Kelley Sobel, Douglas Troy: Perspectives on assessment through teaching portfolios in computer science. SIGCSE 1996: 200-203
3	EE	Ann E. Kelley Sobel: Experience integrating a formal method into a software engineering course. SIGCSE 1996: 271-274
1988
2		Ann E. Kelley Sobel, Neelam Soundararajan: A Proof System for Distributed Processes. Acta Inf. 25(3): 305-332 (1988)
1985
1		Ann E. Kelley Sobel, Neelam Soundararajan: A Proof System for Distributed Processes. Logic of Programs 1985: 343-358

Coauthor Index

1	Ken Abernethy	[14]
2	Jim Alves-Foss	[10]
3	Joanne M. Atlee	[28] [29]
4	Donald J. Bagert	[16] [25]
5	Mordechai Ben-Menachem	[24]
6	Russell S. Blue	[20]
7	Sherrie Campbell	[31] [32]
8	David A. Carrington	[16]
9	Michael R. Clarkson	[17] [21]
10	Valerie V. Cross	[4]
11	Diane Delisio	[4]
12	Jorge L. Díaz-Herrera	[24] [30]
13	Rick Duley	[23]
14	Dennis J. Frailey	[25]
15	Anne Gilman	[20]
16	Mário Guimarães	[7] [8]
17	Peter B. Henderson	[13]
18	Alan R. Hevner	[18]
19	Thomas B. Hilburn	[23] [24] [30]
20	Gregory W. Hislop	[23]
21	Louis J. Hoebel	[20]
22	Esther A. Hughes	[26]
23	John Impagliazzo	[26]
24	John C. Kelly	[14]
25	James D. Kiper	[4] [14]
26	Richard J. LeBlanc	[24] [26] [27] [28] [29] [30]
27	Timothy Lethbridge (Timothy C. Lethbridge)	[22] [24] [26] [27] [28] [29] [30]
28	Richard C. Linger	[12] [15] [18] [19]
29	Steve Linthicum	[20]
30	James Mason	[25]
31	Yoshihiro Matsumoto	[16]
32	Andrew D. McGettrick	[26]
33	Susan A. Mengel	[24]
34	J. Fernando Naveda	[25]
35	Allen S. Parrish	[25]
36	John D. Powell	[14]
37	Pierre N. Robillard	[16]
38	Pascale Rondot	[20]
39	George Ryon	[20]
40	Hossein Saiedian	[13]
41	Stephen B. Seidman	[25]
42	Neelam Soundararajan	[1] [2]
43	Pradip K. Srimani	[26]
44	Allan M. Stavely	[13]
45	Mitchell D. Theys	[26]
46	J. Barrie Thompson	[16] [24] [28] [29]
47	Douglas Troy	[4]
48	Wesley Turner	[20]
49	Christopher R. Volpe	[20]
50	Gwendolyn H. Walton	[18]
51	Jeff Wampler	[20]
52	Bruce Wilde	[20]
53	G. Bowden Wise	[20]
54	Boris Yamrom	[20]

Colors in the list of coauthors