Author: Ann E. Kelley Sobel

Ann E. Kelley Sobel

Ann E. Kelley Sobel

Publications

Publication period start: 1998
Publication period end: 2002
Number of co-authors: 4

Co-authors

Number of publications with favourite co-authors
Alan R. Hevner
1
Gwendolyn H. Walton
1
Richard C. Linger
4

Productive Colleagues

Most productive colleagues in number of publications
Gwendolyn H. Walton
9
Richard C. Linger
20
Alan R. Hevner
21

Publications

Alves-Foss, Jim, Sobel, Ann E. Kelley (1999): Formal Methods and Industry - Introduction. In: HICSS 1999 , 1999, . http://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013048abs.htm

Hevner, Alan R., Linger, Richard C., Sobel, Ann E. Kelley, Walton, Gwendolyn H. (2002): The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. In: HICSS 2002 , 2002, . pp. 278. http://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350278babs.htm

Sobel, Ann E. Kelley (1998): Formal Requirements Specification Analysis of Attitude Control of the International Space . In: HICSS 1998 , 1998, . pp. 348-355. http://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390348abs.htm

Sobel, Ann E. Kelley (1999): Security Analysis of Tramel. In: HICSS 1999 , 1999, . http://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013063abs.htm

Sobel, Ann E. Kelley, Linger, Richard C. (2000): Advances in Software Specification and Verification - Introduction. In: HICSS 2000 , 2000, . http://csdl.computer.org/comp/proceedings/hicss/2000/0493/04/04934002abs.htm

Sobel, Ann E. Kelley, Linger, Richard C. (2001): Advances in Software Specification and Verification - Minitrack Introduction. In: HICSS 2001 , 2001, . http://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819067abs.htm

Sobel, Ann E. Kelley, Linger, Richard C. (2002): Minitrack Introduction. In: HICSS 2002 , 2002, . pp. 275. http://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350275abs.htm