( en | de | ru )

 

Disambiguation of "Terwilliger, Robert B."

Author of the publication

copydeleteadd this publication to your clipboard
The SAGA Approach to Automated Project Management.

, and . Advanced Programming Environments, volume 244 of Lecture Notes in Computer Science, page 142-155. Springer, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert B Isler

Robert J B Lehmann

B Vlavianos

B Jahnke

Sonny B

 

Other publications of authors with the same name

An Early Report on Encompass., and . ICSE, page 344-355. IEEE Computer Society, (1988)Implementing a LogiC-Based Executable Specification Language in C++., and . C++ Conference, page 211-226. USENIX Association, (1988)Simulating the Gries/Dijkstra design process.. KBSE, page 144-153. IEEE Computer Society, (1992)PLEASE: Executable specifications for incremental software development., and . J. Syst. Softw., 10 (2): 97-112 (1989)ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications., and . ACM Conference on Computer Science, page 470. ACM, (1986)ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications. University of Illinois Urbana-Champaign, USA, (1987)An Example of Process Verification: The Gries/Dijkstra Design Method.. ACM SIGSOFT Softw. Eng. Notes, 18 (3): A:26-A:35 (1993)The SAGA Approach to Automated Project Management., and . Advanced Programming Environments, volume 244 of Lecture Notes in Computer Science, page 142-155. Springer, (1986)PLEASE: Predictable Logic based ExecutAble SpeCifications., and . ACM Conference on Computer Science, page 349-358. ACM, (1986)A model of optimal exploration and decision making in novel interfaces., , , , and . CHI 95 Conference Companion, page 230-231. ACM, (1995)