| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Formal Derivation of Concurrent Garbage Collectors  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
A Class of Greedy Algorithms and Its Relation to Greedoids. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Formal Derivation of Concurrent Garbage Collectors. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith, Louis Hoebel |
Derivational software engineering. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksey V. Zimin, Douglas R. Smith, Granger G. Sutton, James A. Yorke |
Assembly reconciliation. |
Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Evolving Specification Engineering. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Toward automated software development. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
program synthesis |
| 1 | Douglas R. Smith |
Requirement enforcement by transformation automata. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani |
Intelligent Systems and Formal Methods in Software Engineering. |
IEEE Intelligent Systems |
2006 |
DBLP DOI BibTeX RDF |
deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories |
| 1 | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump |
Roadmap for enhanced languages and methods to aid verification. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction |
| 1 | Douglas R. Smith |
Composition by Colimit and Formal Software Development. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Generating Programs Plus Proofs by Refinement. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Comprehension by Derivation. |
IWPC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
A Generative Approach to Aspect-Oriented Programming. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | René Gibson, Douglas R. Smith |
Genome Visualization Made Fast and Simple. |
Bioinformatics |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold |
Derivation of Glue Code for Agent Interoperation. |
Autonomous Agents and Multi-Agent Systems |
2003 |
DBLP DOI BibTeX RDF |
glue code, semantic message translation, agent interoperation, synthesis, code generation, ontology mapping, agent communication |
| 1 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Colimits for Concurrent Collectors. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Douglas R. Smith |
Guarded Transitions in Evolving Specifications. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Douglas R. Smith |
Software Development by Refinement. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Douglas R. Smith |
Composition and Refinement of Behavioral Specifications. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Drew V. McDermott, Mark H. Burstein, Douglas R. Smith |
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. |
SWWS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Drew V. McDermott, Mark H. Burstein, Douglas R. Smith |
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. |
The Emerging Semantic Web |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mark H. Burstein, Drew V. McDermott, Douglas R. Smith |
Derivation of glue code for agent interoperation. |
Agents |
2000 |
DBLP DOI BibTeX RDF |
agents, translation, higher-order |
| 1 | Douglas R. Smith |
Software synthesis and applications (abstract only). |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Designware: Software Development by Refinement. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold |
Planware - Domain-Specific Synthesis of High-Performance Schedulers. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Pepper, Douglas R. Smith |
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold |
A Transformational Approach Applied to Outage Management of Nuclear Power Plants. |
HICSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark H. Burstein, Douglas R. Smith |
ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications. |
AIPS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Douglas R. Smith |
Toward a Classification Approach to Design. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Machine Support for Software Development (Abstract). |
ICSE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Douglas R. Smith, Stephen J. Westfold |
Scheduling an Asynchronously Shared Resource. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Constructing Specification Morphisms. |
J. Symb. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Synthesis of Constraint Algorithms. |
PPCP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Douglas R. Smith |
Towards the Synthesis of Constraint Propagation Algorithms. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
| 1 | Douglas R. Smith |
Automating the Design of Algorithm. |
Formal Program Development |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
KIDS: A Semiautomatic Program Development System. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
KIDS, semiautomatic program development system, Kestrel Interactive Development System, deductive inference, finite differencing optimizations, data type refinement, k-queens problem, SUN-4/110, software engineering, formal specifications, compilation, optimisation, partial evaluation, inference mechanisms, algorithm design, program simplification |
| 1 | Douglas R. Smith, Michael R. Lowry |
Algorithm Theories and Design Tactics. |
Sci. Comput. Program. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith, Michael R. Lowry |
Algorithm Theories and Design Tactics. |
MPC |
1989 |
DBLP BibTeX RDF |
|
| 1 | Douglas R. Smith |
Applications of a Strategy for Designing Divide-and-Conquer Algorithms. |
Sci. Comput. Program. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaolei Qian, Douglas R. Smith |
Integrity Constraint Reformulation for Efficient Validation. |
VLDB |
1987 |
DBLP BibTeX RDF |
|
| 1 | Douglas R. Smith, Gordon Kotik, Stephen J. Westfold |
Research on Knowledge-Based Software Environments at Kestrel Institute. |
IEEE Trans. Software Eng. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
The Design of Divide and Conquer Algorithms. |
Sci. Comput. Program. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Top-Down Synthesis of Divide-and-Conquer Algorithms. |
Artif. Intell. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
Reasoning by Cases and the Formation of Conditional Programs. |
IJCAI |
1985 |
DBLP BibTeX RDF |
|
| 1 | Douglas R. Smith |
Random Trees and the Analysis of Branch and Bound Procedures. |
J. ACM |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
A Problem Reduction Approach to Program Synthesis. |
IJCAI |
1983 |
DBLP BibTeX RDF |
|
| 1 | Douglas R. Smith |
Derived Preconditions and Their Use in Program Synthesis. |
CADE |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas R. Smith |
A Design for an Automatic Programming System. |
IJCAI |
1981 |
DBLP BibTeX RDF |
|
| 1 | Alan W. Biermann, Douglas R. Smith |
The Hierarchical Synthesis of Lisp Scanning Programs. |
IFIP Congress |
1977 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")