果园
发表于 2025-3-21 18:05:09
书目名称Werkzeuge der Programmiertechnik影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK1027278<br><br> <br><br>书目名称Werkzeuge der Programmiertechnik影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK1027278<br><br> <br><br>书目名称Werkzeuge der Programmiertechnik网络公开度<br> http://impactfactor.cn/at/?ISSN=BK1027278<br><br> <br><br>书目名称Werkzeuge der Programmiertechnik网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK1027278<br><br> <br><br>书目名称Werkzeuge der Programmiertechnik被引频次<br> http://impactfactor.cn/tc/?ISSN=BK1027278<br><br> <br><br>书目名称Werkzeuge der Programmiertechnik被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK1027278<br><br> <br><br>书目名称Werkzeuge der Programmiertechnik年度引用<br> http://impactfactor.cn/ii/?ISSN=BK1027278<br><br> <br><br>书目名称Werkzeuge der Programmiertechnik年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK1027278<br><br> <br><br>书目名称Werkzeuge der Programmiertechnik读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK1027278<br><br> <br><br>书目名称Werkzeuge der Programmiertechnik读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK1027278<br><br> <br><br>
宽度
发表于 2025-3-21 23:21:19
,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
发表于 2025-3-22 01:47:52
http://reply.papertrans.cn/103/10273/1027278/1027278_3.png
变形
发表于 2025-3-22 08:18:30
http://reply.papertrans.cn/103/10273/1027278/1027278_4.png
indenture
发表于 2025-3-22 11:01:06
,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
发表于 2025-3-22 13:16:55
,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
发表于 2025-3-22 18:27:10
http://reply.papertrans.cn/103/10273/1027278/1027278_7.png
GOUGE
发表于 2025-3-22 23:26:36
http://reply.papertrans.cn/103/10273/1027278/1027278_8.png
FLAG
发表于 2025-3-23 02:54:36
http://reply.papertrans.cn/103/10273/1027278/1027278_9.png
温室
发表于 2025-3-23 09:28:39
http://reply.papertrans.cn/103/10273/1027278/1027278_10.png