Robert B. Terwilliger

Publication Activity (10 Years)

Years Active: 1986-1997
Publications (10 Years): 0

Publications

Robert B. Terwilliger, Peter G. Polson
Relationships Between Users' and Interfaces' Task Representations. CHI (1997)
Robert B. Terwilliger, Peter G. Polson
Task Elaboration or Label Following: An Empirical Study of Representation in Human-Computer Interaction. CHI Conference Companion (1996)
Bob Rehder, Clayton H. Lewis, Robert B. Terwilliger, Peter G. Polson, John Rieman
A model of optimal exploration and decision making in novel interfaces. CHI 95 Conference Companion (1995)
Robert B. Terwilliger
Toward tools to support the Gries/Dijkstra design process. ACM SIGSOFT Softw. Eng. Notes 18 (2) (1993)
Robert B. Terwilliger
An Example of Process Verification: The Gries/Dijkstra Design Method. ACM SIGSOFT Softw. Eng. Notes 18 (3) (1993)
Robert B. Terwilliger
Simulating the Gries/Dijkstra design process. KBSE (1992)
Robert B. Terwilliger
An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification. ACM SIGSOFT Softw. Eng. Notes 15 (1) (1990)
Robert B. Terwilliger, Mark J. Maybee, Leon J. Osterweil
An example of formal specification as an aid to design and development. IWSSD (1989)
Robert B. Terwilliger, Roy H. Campbell
PLEASE: Executable specifications for incremental software development. J. Syst. Softw. 10 (2) (1989)
Robert B. Terwilliger, Roy H. Campbell
ENCOMPASS: An environment for the incremental development of software. J. Syst. Softw. 10 (1) (1989)
Robert B. Terwilliger, Roy H. Campbell
An Early Report on Encompass. ICSE (1988)
Peter A. Kirslis, Robert B. Terwilliger
Implementing a LogiC-Based Executable Specification Language in C++. C++ Conference (1988)
Robert B. Terwilliger
Please: a language combining imperative and logic programming. ACM SIGPLAN Notices 23 (4) (1988)
Roy H. Campbell, Hal S. Render, Robert N. Sum Jr., Robert B. Terwilliger
Automating the software development process. ACM Conference on Computer Science (1988)
Robert B. Terwilliger, Roy H. Campbell
ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications. ACM Conference on Computer Science (1986)
Robert B. Terwilliger, Roy H. Campbell
PLEASE: Predictable Logic based ExecutAble SpeCifications. ACM Conference on Computer Science (1986)
Roy H. Campbell, Robert B. Terwilliger
The SAGA Approach to Automated Project Management. Advanced Programming Environments (1986)