Ann E. Kelley Sobel

	2008
32		Sherrie Campbell, Ann E. Kelley Sobel: Supporting the Formal Analysis of Software Systems. CSSE (2) 2008: 776-779
	2007
31		Ann E. Kelley Sobel, Sherrie Campbell: Supporting the Formal Analysis of Software Designs. CSEE&T 2007: 123-132
	2006
30		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		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		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		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		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		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		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		Rick Duley, Gregory W. Hislop, Thomas B. Hilburn, Ann E. Kelley Sobel: Engineering an Introductory Software Engineering Curriculum. CSEE&T 2003: 99-106
22		Ann E. Kelley Sobel, Timothy Lethbridge: IEEE-CS/ACM computing curricula: software engineering volume. ITiCSE 2003: 217-218
21		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		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		Ann E. Kelley Sobel, Richard C. Linger: Minitrack Introduction. HICSS 2002: 275
18		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		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		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		Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Minitrack Introduction. HICSS 2001
	2000
14		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		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		Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Introduction. HICSS 2000
11		Ann E. Kelley Sobel: Empirical results of a software engineering curriculum incorporating formal methods. SIGCSE 2000: 157-161
	1999
10		Jim Alves-Foss, Ann E. Kelley Sobel: Formal Methods and Industry - Introduction. HICSS 1999
9		Ann E. Kelley Sobel: Security Analysis of Tramel. HICSS 1999
8		Ann E. Kelley Sobel, Mário Guimarães: Current issues in undergraduate student research. SIGCSE 1999: 350
7		Ann E. Kelley Sobel, Mário Guimarães: Current issues in graduate student research. SIGCSE 1999: 351
	1998
6		Ann E. Kelley Sobel: Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. HICSS (3) 1998: 348-355
5		Ann E. Kelley Sobel: Applying an operational formal method throughout software engineering education. Information & Software Technology 40(4): 233-238 (1998)
	1996
4		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		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