Titlebook: Werkzeuge der Programmiertechnik; GI-Arbeitstagung Kar Gerhard Goos Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Date

果園

書目名稱Werkzeuge der Programmiertechnik影響因子(影響力)




書目名稱Werkzeuge der Programmiertechnik影響因子(影響力)學(xué)科排名




書目名稱Werkzeuge der Programmiertechnik網(wǎng)絡(luò)公開(kāi)度




書目名稱Werkzeuge der Programmiertechnik網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書目名稱Werkzeuge der Programmiertechnik被引頻次




書目名稱Werkzeuge der Programmiertechnik被引頻次學(xué)科排名




書目名稱Werkzeuge der Programmiertechnik年度引用




書目名稱Werkzeuge der Programmiertechnik年度引用學(xué)科排名




書目名稱Werkzeuge der Programmiertechnik讀者反饋




書目名稱Werkzeuge der Programmiertechnik讀者反饋學(xué)科排名

寬度

,PASILA — ein computerunterstuetztes Werkzeug zur Definition und Implementation von Anforderunqsspraachen entsprechend seinen individuellen Wuenschen und Beduerfnissen zu spezifizieren. PASILA implementiert dann die spezifizierte Anforderungssprache automatisch. Im Gegensatz zu anderen Werkzeugen kann der Benutzer die Eingabesyntax und die Ausgabeform frei waehlen sowie Verifikations- und Falsifikationsregeln definieren.

critic

變形

indenture

,Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in h?heren Programmieen, und die übersetzung kann von Attributen von Bezeichnern abh?ngig gemacht werden..Das Werkzeug l?uft auf einer PDP 11 in 64 KB. Es wurde unter anderem sehr erfolgreich eingesetzt, um eine m?chtige Spracherweiterung von FORTRAN auf übliches FORTRAN IV abzubilden.

PRE

,ESPRESO-W, ein Werkzeug für die Spezifikation von Proze?rechner-Software,m ESPRESO-W. Im vorliegenden Beitrag werden die wesentlichen Aspekte von ESPRESO-S kurz zusammengefa?t. Danach werden Konzeption und Aufbau von ESPRESO-W und Probleme seiner Implementierung ausführlich dargestellt.

Orchiectomy

GOUGE

FLAG

溫室