Robert B. Terwilliger

According to our database, Robert B. Terwilliger authored at least 18 papers between 1986 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1997

Relationships Between Users' and Interfaces' Task Representations.

Robert B. Terwilliger, Peter G. Polson

Proceedings of the Human Factors in Computing Systems, 1997

1996

Task Elaboration or Label Following: An Empirical Study of Representation in Human-Computer Interaction.

Robert B. Terwilliger, Peter G. Polson

Proceedings of the Conference on Human Factors in Computing Systems: Common Ground, 1996

1995

A model of optimal exploration and decision making in novel interfaces.

Bob Rehder, Clayton H. Lewis, Robert B. Terwilliger, Peter G. Polson, John Rieman

Proceedings of the Human Factors in Computing Systems, 1995

1993

An Example of Process Verification: The Gries/Dijkstra Design Method.

Robert B. Terwilliger

ACM SIGSOFT Softw. Eng. Notes, 1993

Toward tools to support the Gries/Dijkstra design process.

Robert B. Terwilliger

ACM SIGSOFT Softw. Eng. Notes, 1993

1992

Simulating the Gries/Dijkstra design process.

Robert B. Terwilliger

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1990

An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification.

Robert B. Terwilliger

ACM SIGSOFT Softw. Eng. Notes, 1990

1989

PLEASE: Executable specifications for incremental software development.

Robert B. Terwilliger, Roy H. Campbell

J. Syst. Softw., 1989

ENCOMPASS: An environment for the incremental development of software.

Robert B. Terwilliger, Roy H. Campbell

J. Syst. Softw., 1989

An example of formal specification as an aid to design and development.

Robert B. Terwilliger, Mark J. Maybee, Leon J. Osterweil

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1988

Please: a language combining imperative and logic programming.

Robert B. Terwilliger

ACM SIGPLAN Notices, 1988

An Early Report on Encompass.

Robert B. Terwilliger, Roy H. Campbell

Proceedings of the Proceedings, 1988

Implementing a LogiC-Based Executable Specification Language in C++.

Peter A. Kirslis, Robert B. Terwilliger

Proceedings of the Conference on C++. Denver, 1988

Automating the software development process.

Roy H. Campbell, Hal S. Render, Robert N. Sum Jr., Robert B. Terwilliger

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987

ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications

Robert B. Terwilliger

PhD thesis, 1987

1986

The SAGA Approach to Automated Project Management.

Roy H. Campbell, Robert B. Terwilliger

Proceedings of the Advanced Programming Environments, 1986

ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications.

Robert B. Terwilliger, Roy H. Campbell

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

PLEASE: Predictable Logic based ExecutAble SpeCifications.

Robert B. Terwilliger, Roy H. Campbell

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986