( en | de | ru )

 

Disambiguierung von "Terwilliger, Robert B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications

. University of Illinois Urbana-Champaign, USA, (1987)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Robert B Isler

Robert J B Lehmann

B Hause

B Klösgen

B Wiederanders

 

Weitere Publikationen von Autoren mit dem selben Namen

An Early Report on Encompass., und . ICSE, Seite 344-355. IEEE Computer Society, (1988)PLEASE: Executable specifications for incremental software development., und . J. Syst. Softw., 10 (2): 97-112 (1989)Implementing a LogiC-Based Executable Specification Language in C++., und . C++ Conference, Seite 211-226. USENIX Association, (1988)Simulating the Gries/Dijkstra design process.. KBSE, Seite 144-153. IEEE Computer Society, (1992)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 (abstract): a SAGA based environment for the composition of programs and specifications., und . ACM Conference on Computer Science, Seite 470. ACM, (1986)ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications. University of Illinois Urbana-Champaign, USA, (1987)Please: a language combining imperative and logic programming.. ACM SIGPLAN Notices, 23 (4): 103-110 (1988)ENCOMPASS: An environment for the incremental development of software., und . J. Syst. Softw., 10 (1): 41-53 (1989)Automating the software development process., , , und . ACM Conference on Computer Science, Seite 299-308. ACM, (1988)