Follow
Douglas R Smith
Douglas R Smith
Kestrel Institute
Verified email at kestrel.edu - Homepage
Title
Cited by
Cited by
Year
KIDS: A semiautomatic program development system
DR Smith
IEEE transactions on software engineering 16 (9), 1024-1043, 1990
6521990
Top-down synthesis of divide-and-conquer algorithms
DR Smith
Artificial Intelligence 27 (1), 43-96, 1985
2381985
Research on knowledge-based software environments at Kestrel Institute
DR Smith, GB Kotik, SJ Westfold
IEEE Transactions on Software Engineering, 1278-1295, 1985
2121985
KIDS: A knowledge-based software development system
DR Smith
Automating Software Design, 483-514, 1991
1901991
Algorithm theories and design tactics
DR Smith, MR Lowry
Science of Computer programming 14 (2-3), 305-321, 1990
1301990
Structure and design of global search algorithms
DR Smith
Tech. Rep. KES. U. 87.12, Kestrel Institute, 1987
1291987
Roadmap for enhanced languages and methods to aid verification
GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ...
Proceedings of the 5th international conference on Generative programming …, 2006
1062006
Constructing specification morphisms
DR Smith
Journal of Symbolic Computation 15 (5-6), 571-606, 1993
1061993
Applications of a strategy for designing divide-and-conquer algorithms
DR Smith
Science of Computer Programming 8 (3), 213-229, 1987
1051987
Random trees and the analysis of branch and bound procedures
DR Smith
Journal of the ACM (JACM) 31 (1), 163-188, 1984
991984
Transformational approach to transportation scheduling
D Smith, E Parra
Proceedings of 8th Knowledge-Based Software Engineering Conference, 60-68, 1993
831993
Toward a classification approach to design
DR Smith
International Conference on Algebraic Methodology and Software Technology, 62-84, 1996
811996
The design of divide and conquer algorithms
DR Smith
Science of Computer Programming 5, 37-58, 1985
791985
Planware-domain-specific synthesis of high-performance schedulers
L Blaine, L Gilham, J Liu, DR Smith, S Westfold
Proceedings 13th IEEE International Conference on Automated Software …, 1998
681998
Mechanizing the development of software
M Broy, R Steinbrüggen
Calculational System Design 173, 251, 1999
671999
The synthesis of LISP programs from examples: A survey
DR Smith
Automatic program construction techniques 307324, 1984
671984
Derived preconditions and their use in program synthesis
DR Smith
International Conference on Automated Deduction, 172-193, 1982
621982
Composition and refinement of behavioral specifications
D Pavlovic, DR Smith
Proceedings 16th Annual International Conference on Automated Software …, 2001
532001
Software development by refinement
D Pavlovic, DR Smith
Formal Methods at the Crossroads. From Panacea to Foundational Support, 267-286, 2003
472003
Integrity Constraint Reformulation for Efficient Validation.
X Qian, DR Smith
VLDB, 417-425, 1987
471987
The system can't perform the operation now. Try again later.
Articles 1–20