- Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2, and Douglas R. Smith1
- Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith
- Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1
- Synthesis of Propositional Satisfiability Solvers Douglas R. Smith
- Science of Computer Programming, 14(2-3), 1990, pp 305-321. Algorithm Theories and Design Tactics
- J. Symbolic Computation (1993) 15, 571--606 Constructing Specification Morphisms
- Toward a Classification Approach to Design Douglas R. Smith
- Toward Practical Applications of Software Synthesis \Lambda Douglas R. Smith
- to appear in IEEE Transactions on Software Engineering Special Issue on Formal Methods, September 1990 KIDS: A SemiAutomatic Program Development System
- Transformational Approach to Transportation Scheduling Douglas R. Smith and Eduardo A. Parra
- A Highlevel Derivation of Global Search Algorithms (with Constraint Propagation)
- Software Development by Re nement Dusko Pavlovic and Douglas R. Smith
- to appear in Calculational System Design, Proceedings of the International Summer School Marktoberdorf, Ed. M. Broy, NATO ASI Series, IOS Press, Amsterdam, 1999.
- Synthesis of Schedulers for Planned Shutdowns of Power Plants Carla P. Gomes
- In: Constructing Programs from Specifications B. Moller (Ed.), NorthHolland, 1991, pp 91--124.
- in Parallel Algorithm Derivation and Program Transformation, Eds. R. Paige, J. Reif, and R. Wachter,
- A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications
- Synthesis of HighPerformance Transportation Schedulers Douglas R. Smith, Eduardo A. Parra, Stephen J. Westfold
- Synthesis of Planning and Scheduling Software Douglas R. Smith, Eduardo A. Parra, and Stephen J. Westfold
- In Automating Software Design, M. Lowry & R. McCartney, Eds. AAAI/MIT Press, 1991, 483514. KIDS A KnowledgeBased Software Development System
