Allan M. Stavely

According to our database, Allan M. Stavely authored at least 17 papers between 1978 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Programming and mathematical thinking.

Peter B. Henderson, Allan M. Stavely

Inroads, 2014

2000

Teaching Formal Methods Early in the Software Engineering Curriculum (panel).

Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson

Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

1999

High-Quality Software through Semiformal Specification and Verification.

Allan M. Stavely

Proceedings of the 12th Conference on Software Engineering Education and Training, 1999

1995

Verifying Definite Iteration Over Data Structures.

Allan M. Stavely

IEEE Trans. Software Eng., 1995

1993

An empirical study of iteration in applications software.

Allan M. Stavely

J. Syst. Softw., 1993

1990

Algorithms for analyzing concurrent software systems using derivatives.

Allan M. Stavely

J. Syst. Softw., 1990

1989

Finding reachable states of finite-state concurrent systems.

Gregory B. Titus, Allan M. Stavely

J. Syst. Softw., 1989

1985

Inference from models of software systems.

Allan M. Stavely

J. Syst. Softw., 1985

A Collection of Software Tools for Analyzing Design of Concurrent Software Systems.

Allan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus

Proceedings of the Proceedings, 1985

1983

Behavior specification in a software design system.

Jack C. Wileden, John H. Sayler, William E. Riddle, Alan R. Segal, Allan M. Stavely

J. Syst. Softw., 1983

Modeling and projection in software development.

Allan M. Stavely

J. Syst. Softw., 1983

1982

Models as executable designs.

Allan M. Stavely

Proceedings of the workshop on Rapid Prototyping, 1982

1978

Behavior Modeling During Software Design.

William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely

IEEE Trans. Software Eng., 1978

Design feedback and its use in software design aid systems.

Allan M. Stavely

SIGMETRICS Perform. Evaluation Rev., 1978

DREAM - A Software Design Aid System.

William E. Riddle, John H. Sayler, Alan R. Segal, Allan M. Stavely, Jack C. Wileden

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

Behavior Modelling During Software Design.

William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely

Proceedings of the 3rd International Conference on Software Engineering, 1978

A description scheme to aid the design of collections of concurrent processes.

William E. Riddle, John H. Sayler, Alan R. Segal, Allan M. Stavely, Jack C. Wileden

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978