Douglas - PDFSEARCH.IO - Document Search Engine

Douglas
Results: 14716

#	Item
1	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:33:11 Formal methods Theoretical computer science Software engineering Logic in computer science Software development Semigroup action Refinement Predicate transformer semantics Program transformation Postcondition Finite-state machine Formal verification
2	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:24:03 Computing Memory management Knowledge representation Mutator Garbage collection Garbage Connectivity Tree Tracing garbage collection
3	to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:31:08 Software development Aspect-oriented software development Computing Software engineering Aspect-oriented programming Pointcut AspectJ Join point Invariant Const
4	Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 21:04:29 Mathematics Algebra Combinatorial optimization Mathematical logic Mathematical optimization Operations research Algorithm Sheaf Branch and bound Universal property Equation solving Boolean algebra
5	Composition and Renement of Behavioral Specications Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:57:16 Pushout Recursion Span Pullback Limit Mathematics Computing Philosophy of mathematics
6	Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Computing Software engineering Theoretical computer science Specification language Refinement Abstract state machines Domain-specific language Specification Programming language Integrated circuit design Formal specification
7	in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:59:14 Constraint programming Mathematics Lattice theory Mathematical optimization Applied mathematics Constraint satisfaction Local consistency Semilattice Linear programming Optimization problem Constraint Feasible region
8	Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-10-03 20:52:55 Logic Mathematics Automated theorem proving Logic programming Mathematical logic Logical truth Propositional calculus Substitution Measure theory operator Decomposition of spectrum
9	Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-11-17 20:46:33 Constraint programming Software engineering Computer programming Constraint satisfaction Local consistency Theoretical computer science Constraint Theory of constraints Schaefer's dichotomy theorem Constraint logic programming
10	Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 21:01:09 Abstract algebra Algebra Mathematics Category theory Functors Morphism Category Sheaf Limit Pushout Cone Diagram