Tobiah E. Smith

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

Tobiah E. Smith, Dorothy E. Setliff
Using simulated annealing to synthesize resource-bounded software. Autom. Softw. Eng. 1 (2) (1994)
Tobiah E. Smith, Dorothy E. Setliff
Towards supporting design phase synthesis. KBSE (1993)
Tobiah E. Smith, Dorothy E. Setliff
Knowledge-based constraint-driven software synthesis. KBSE (1992)
Tobiah E. Smith, Dorothy E. Setliff
Towards an automatic synthesis system for real-time software. RTSS (1991)