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
6721990
Top-down synthesis of divide-and-conquer algorithms
DR Smith
Artificial Intelligence 27 (1), 43-96, 1985
2701985
Research on knowledge-based software environments at Kestrel Institute
DR Smith, GB Kotik, SJ Westfold
IEEE Transactions on Software Engineering, 1278-1295, 1985
2251985
KIDS: A knowledge-based software development system
DR Smith
Automating Software Design, 483-514, 1991
2001991
Algorithm theories and design tactics
DR Smith, MR Lowry
Science of Computer programming 14 (2-3), 305-321, 1990
1391990
Structure and design of global search algorithms
DR Smith
Tech. Rep. KES. U. 87.12, Kestrel Institute, 1987
1291987
The design of divide and conquer algorithms
DR Smith
Science of Computer Programming 5, 37-58, 1985
1181985
Applications of a strategy for designing divide-and-conquer algorithms
DR Smith
Science of Computer Programming 8 (3), 213-229, 1987
1111987
Constructing specification morphisms
DR Smith
Journal of Symbolic Computation 15 (5-6), 571-606, 1993
1091993
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
Random trees and the analysis of branch and bound procedures
DR Smith
Journal of the ACM (JACM) 31 (1), 163-188, 1984
1001984
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
821996
The synthesis of LISP programs from examples: A survey
DR Smith
Automatic program construction techniques 307, 324, 1984
731984
Mechanizing the development of software
DR Smith
NATO ASI Series F Computer and Systems Sciences 173, 251-292, 1999
711999
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
691998
Derived preconditions and their use in program synthesis
DR Smith
International Conference on Automated Deduction, 172-193, 1982
651982
Composition and refinement of behavioral specifications
D Pavlovic, DR Smith
Proceedings 16th Annual International Conference on Automated Software …, 2001
572001
Software development by refinement
D Pavlovic, DR Smith
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003
492003
Integrity Constraint Reformulation for Efficient Validation.
X Qian, DR Smith
VLDB 87, 417-425, 1987
481987
The system can't perform the operation now. Try again later.
Articles 1–20