Allan M. Stavely

2000
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-
1999
12	EE	Allan M. Stavely: High-Quality Software through Semiformal Specification and Verification. CSEE&T 1999: 145-155
1995
11	EE	Allan M. Stavely: Verifying Definite Iteration Over Data Structures. IEEE Trans. Software Eng. 21(6): 506-514 (1995)
1993
10	EE	Allan M. Stavely: An empirical study of iteration in applications software. Journal of Systems and Software 22(3): 167-177 (1993)
1990
9	EE	Allan M. Stavely: Algorithms for analyzing concurrent software systems using derivatives. Journal of Systems and Software 11(1): 3-20 (1990)
1989
8	EE	Gregory B. Titus, Allan M. Stavely: Finding reachable states of finite-state concurrent systems. Journal of Systems and Software 9(4): 253-272 (1989)
1985
7		Allan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus: A Collection of Software Tools for Analyzing Design of Concurrent Software Systems. ICSE 1985: 111-118
6	EE	Allan M. Stavely: Inference from models of software systems. Journal of Systems and Software 5(3): 185-191 (1985)
1983
5	EE	Jack C. Wileden, John H. Sayler, William E. Riddle, Alan R. Segal, Allan M. Stavely: Behavior specification in a software design system. Journal of Systems and Software 3(2): 123-135 (1983)
4	EE	Allan M. Stavely: Modeling and projection in software development. Journal of Systems and Software 3(2): 137-146 (1983)
1978
3		William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely: Behavior Modelling During Software Design. ICSE 1978: 13-22
2		William E. Riddle, John H. Sayler, Alan R. Segal, Allan M. Stavely, Jack C. Wileden: DREAM - A Software Design Aid System. Jerusalem Conference on Information Technology 1978: 373-380
1		William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely: Behavior Modeling During Software Design. IEEE Trans. Software Eng. 4(4): 283-292 (1978)

Coauthor Index

1	D. C. Becker	[7]
2	Peter B. Henderson	[13]
3	S. P. Orr	[7]
4	William E. Riddle	[1] [2] [3] [5]
5	Hossein Saiedian	[13]
6	John H. Sayler	[1] [2] [3] [5]
7	Alan R. Segal	[1] [2] [3] [5]
8	Ann E. Kelley Sobel	[13]
9	Gregory B. Titus	[7] [8]
10	Jack C. Wileden	[1] [2] [3] [5]

Colors in the list of coauthors