( en | de | ru )

 

Disambiguation of "Terwilliger, Robert B."

Author of the publication

copydeleteadd this publication to your clipboard
PLEASE: Predictable Logic based ExecutAble SpeCifications.

, and . ACM Conference on Computer Science, page 349-358. ACM, (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 Wiederanders

B Hause

B Klösgen

 

Other publications of authors with the same name

An Early Report on Encompass., and . ICSE, page 344-355. IEEE Computer Society, (1988)Simulating the Gries/Dijkstra design process.. KBSE, page 144-153. IEEE Computer Society, (1992)Implementing a LogiC-Based Executable Specification Language in C++., and . C++ Conference, page 211-226. USENIX Association, (1988)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)Please: a language combining imperative and logic programming.. ACM SIGPLAN Notices, 23 (4): 103-110 (1988)An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification.. ACM SIGSOFT Softw. Eng. Notes, 15 (1): 93-94 (1990)ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications. University of Illinois Urbana-Champaign, USA, (1987)PLEASE: Predictable Logic based ExecutAble SpeCifications., and . ACM Conference on Computer Science, page 349-358. ACM, (1986)The SAGA Approach to Automated Project Management., and . Advanced Programming Environments, volume 244 of Lecture Notes in Computer Science, page 142-155. Springer, (1986)