Allan M. Stavely

18 papers A* 2Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2014 J jnl
Programming and mathematical thinking.
Inroads
Peter B. Henderson, Allan M. Stavely
2000 — conf
Teaching Formal Methods Early in the Software Engineering Curriculum (panel).
CSEE&T
Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson
1999 — conf
High-Quality Software through Semiformal Specification and Verification.
CSEE&T
Allan M. Stavely
1995 J jnl
Verifying Definite Iteration Over Data Structures.
IEEE Trans. Software Eng.
Allan M. Stavely
1993 J jnl
An empirical study of iteration in applications software.
J. Syst. Softw.
Allan M. Stavely
1990 J jnl
Algorithms for analyzing concurrent software systems using derivatives.
J. Syst. Softw.
Allan M. Stavely
1989 J jnl
Finding reachable states of finite-state concurrent systems.
J. Syst. Softw.
Gregory B. Titus, Allan M. Stavely
1985 A* conf
A Collection of Software Tools for Analyzing Design of Concurrent Software Systems.
ICSE
Allan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus
1985 J jnl
Inference from models of software systems.
J. Syst. Softw.
Allan M. Stavely
1983 J jnl
Behavior specification in a software design system.
J. Syst. Softw.
Jack C. Wileden, John H. Sayler, William E. Riddle, Alan R. Segal, Allan M. Stavely
1983 J jnl
Modeling and projection in software development.
J. Syst. Softw.
Allan M. Stavely
1982 — conf
Models as executable designs.
Rapid Prototyping
Allan M. Stavely
1978 — conf
A description scheme to aid the design of collections of concurrent processes.
AFIPS National Computer Conference
William E. Riddle, John H. Sayler, Alan R. Segal, Allan M. Stavely, Jack C. Wileden
1978 J jnl
Behavior Modeling During Software Design.
IEEE Trans. Software Eng.
William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely
1978 A* conf
Behavior Modelling During Software Design.
ICSE
William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely
1978 — conf
DREAM - A Software Design Aid System.
Jerusalem Conference on Information Technology
William E. Riddle, John H. Sayler, Alan R. Segal, Allan M. Stavely, Jack C. Wileden
1978 J jnl
Design feedback and its use in software design aid systems.
SIGMETRICS Perform. Evaluation Rev.
Allan M. Stavely
1977 — —
Proving Programs Correct Using Abstract, High-level Logic.
Allan M. Stavely