Allan M. Stavely - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2014

Programming and mathematical thinkingPeter B. Henderson, Allan M. Stavely. inroads, 5(1):35-36, 2014. [doi]

2000

Teaching Formal Methods Early in the Software Engineering Curriculum (panel)Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson. csee 2000: 55 [doi]

1999

High-Quality Software through Semiformal Specification and VerificationAllan M. Stavely. csee 1999: 145-155 [doi]

1995

Verifying Definite Iteration Over Data StructuresAllan M. Stavely. TSE, 21(6):506-514, 1995. [doi]

1993

An empirical study of iteration in applications softwareAllan M. Stavely. jss, 22(3):167-177, 1993. [doi]

1990

Algorithms for analyzing concurrent software systems using derivativesAllan M. Stavely. jss, 11(1):3-20, 1990. [doi]

1989

Finding reachable states of finite-state concurrent systemsGregory B. Titus, Allan M. Stavely. jss, 9(4):253-272, 1989. [doi]

1985

A Collection of Software Tools for Analyzing Design of Concurrent Software SystemsAllan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus. ICSE 1985: 111-118

Inference from models of software systemsAllan M. Stavely. jss, 5(3):185-191, 1985. [doi]

1983

Modeling and projection in software developmentAllan M. Stavely. jss, 3(2):137-146, 1983. [doi]

Behavior specification in a software design systemJack C. Wileden, John H. Sayler, William E. Riddle, Alan R. Segal, Allan M. Stavely. jss, 3(2):123-135, 1983. [doi]

1982

Models as executable designsAllan M. Stavely. rpr 1982: 167-168 [doi]

1978

1977

Proving Programs Correct Using Abstract, High-level LogicAllan M. Stavely. PhD thesis, University of Michigan, USA, 1977. [doi]

Sign in or sign up to see more results.

runs on WebDSL