Allan M. Stavely

Publication Activity (10 Years)

Years Active: 1978-2014
Publications (10 Years): 0

Top Topics

Critical Thinking

Mathematical Knowledge

Development Environment

Top Venues

Publications

Peter B. Henderson, Allan M. Stavely
Programming and mathematical thinking. Inroads 5 (1) (2014)
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)
Allan M. Stavely
High-Quality Software through Semiformal Specification and Verification. CSEE&T (1999)
Allan M. Stavely
Verifying Definite Iteration Over Data Structures. IEEE Trans. Software Eng. 21 (6) (1995)
Allan M. Stavely
An empirical study of iteration in applications software. J. Syst. Softw. 22 (3) (1993)
Allan M. Stavely
Algorithms for analyzing concurrent software systems using derivatives. J. Syst. Softw. 11 (1) (1990)
Gregory B. Titus, Allan M. Stavely
Finding reachable states of finite-state concurrent systems. J. Syst. Softw. 9 (4) (1989)
Allan M. Stavely
Inference from models of software systems. J. Syst. Softw. 5 (3) (1985)
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)
Jack C. Wileden, John H. Sayler, William E. Riddle, Alan R. Segal, Allan M. Stavely
Behavior specification in a software design system. J. Syst. Softw. 3 (2) (1983)
Allan M. Stavely
Modeling and projection in software development. J. Syst. Softw. 3 (2) (1983)
Allan M. Stavely
Models as executable designs. Rapid Prototyping (1982)
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)
Allan M. Stavely
Design feedback and its use in software design aid systems. SIGMETRICS Perform. Evaluation Rev. 7 (3-4) (1978)
William E. Riddle, John H. Sayler, Alan R. Segal, Allan M. Stavely, Jack C. Wileden
A description scheme to aid the design of collections of concurrent processes. AFIPS National Computer Conference (1978)
William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely
Behavior Modelling During Software Design. ICSE (1978)
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) (1978)