Robert B. Terwilliger

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