標(biāo)題: Titlebook: Werkzeuge der Programmiertechnik; GI-Arbeitstagung Kar Gerhard Goos Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Date [打印本頁(yè)] 作者: 果園 時(shí)間: 2025-3-21 18:05
書目名稱Werkzeuge der Programmiertechnik影響因子(影響力)
書目名稱Werkzeuge der Programmiertechnik影響因子(影響力)學(xué)科排名
書目名稱Werkzeuge der Programmiertechnik網(wǎng)絡(luò)公開度
書目名稱Werkzeuge der Programmiertechnik網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Werkzeuge der Programmiertechnik被引頻次
書目名稱Werkzeuge der Programmiertechnik被引頻次學(xué)科排名
書目名稱Werkzeuge der Programmiertechnik年度引用
書目名稱Werkzeuge der Programmiertechnik年度引用學(xué)科排名
書目名稱Werkzeuge der Programmiertechnik讀者反饋
書目名稱Werkzeuge der Programmiertechnik讀者反饋學(xué)科排名
作者: 寬度 時(shí)間: 2025-3-21 23:21
,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 時(shí)間: 2025-3-22 01:47 作者: 變形 時(shí)間: 2025-3-22 08:18 作者: indenture 時(shí)間: 2025-3-22 11:01
,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 時(shí)間: 2025-3-22 13:16
,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 時(shí)間: 2025-3-22 18:27 作者: GOUGE 時(shí)間: 2025-3-22 23:26 作者: FLAG 時(shí)間: 2025-3-23 02:54 作者: 溫室 時(shí)間: 2025-3-23 09:28 作者: hypnotic 時(shí)間: 2025-3-23 10:03
Systeme R / SAP Real-Time Systeme,enfassen. Zwangsl?ufig ergibt sich so eine immer gr??er werdende Komplexit?t der Systeme. Soll dieser Weg der Integration, der dem betrieblichen Ablauf entspricht und damit dem Anwender entgegenkommt, fortgesetzt werden, mu? die Programmentwicklung und -wartung selbst auf einen h?heren technischen Stand gebracht werden.作者: 雕鏤 時(shí)間: 2025-3-23 17:17 作者: correspondent 時(shí)間: 2025-3-23 19:21 作者: Desert 時(shí)間: 2025-3-24 00:35 作者: 貞潔 時(shí)間: 2025-3-24 04:37
,PASILA — ein computerunterstuetztes Werkzeug zur Definition und Implementation von Anforderunqsspran Anforderungsfehler fruehzeitig erkannt werden. Bisherigs Sprachen zur Anforderungsdefinition wie SADT/ PSL oder RSL geben eiren fasten Sprachumfang, eine definierte Eingabesyntax und eine bestimate Ausgabeform vor. PASILA ist demgegenueber ein Werkzeug, das es Zenutzer ermoeglicht, Anforderungsspr作者: 飛鏢 時(shí)間: 2025-3-24 09:51 作者: 天氣 時(shí)間: 2025-3-24 11:13
,Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und überblick,n dreidimensionales Schema, dessen drei Grundachsen durch die Kriterien Abstraktionsgrad (Entfernung zur konkreten Maschine), sprachliche Freiheit und Automatisierbarkeit gebildet werden. In den ersten Kapiteln werden Einzeltechniken Für die Analyse, die Definition, den Entwurf und die Validation vo作者: Truculent 時(shí)間: 2025-3-24 18:29 作者: 制定 時(shí)間: 2025-3-24 20:50
,RELSPEZ — Eine Relationale Problemspezifikation; Konzept und Erfahrungsbericht,input and output of every atomic processing of an application function on parts of the data model. Processing is described in a semi-formal manner. The method RELSPEZ was developped in an industrial software project and also applied there. The tool for running it is PET/X 116o. After a pilot applica作者: Herbivorous 時(shí)間: 2025-3-25 00:50 作者: Flat-Feet 時(shí)間: 2025-3-25 05:13
A Separate Compilation System for Ada,ompile time. Here we describe the Separate Compilation System which was developed for the Ada Compiler Project at the University of Karlsruhe. The realization of the separate compilation facility of Ada is mainly based on the use of a library which contains information about previously compiled unit作者: Culpable 時(shí)間: 2025-3-25 09:30 作者: 桶去微染 時(shí)間: 2025-3-25 14:40
Erfahrungen Aus Entwicklung und Einsatz Eines Programmgeneratorsystems mit Komfortabler Benutzerschrogrammerstellung. Im zweiten Teil wird das System DIALIS vorgestellt, welches von der ACTIS GmbH im Auftrage der NIXDORF CAG für den Einsatz zun?chst auf dem Rechnersystem 8860 entwickelt wurde. Es ist auch ein Einsatz des System auf den Rechnern 8890 und 8870/3 geplant.作者: 劇毒 時(shí)間: 2025-3-25 17:04 作者: Estimable 時(shí)間: 2025-3-25 20:19 作者: 興奮過(guò)度 時(shí)間: 2025-3-26 01:45 作者: 討厭 時(shí)間: 2025-3-26 05:16 作者: forbid 時(shí)間: 2025-3-26 11:44 作者: Trigger-Point 時(shí)間: 2025-3-26 16:24 作者: Congestion 時(shí)間: 2025-3-26 20:25 作者: 招人嫉妒 時(shí)間: 2025-3-26 22:41 作者: bleach 時(shí)間: 2025-3-27 04:02 作者: bioavailability 時(shí)間: 2025-3-27 08:38 作者: 浮夸 時(shí)間: 2025-3-27 09:38
,Spezifikation für ein Spezifikationswerkzeug,Für die Spezifikation dialogorientierter, haupts?chlich kommerzieller Anwendungsprogramme auf mittleren Rechnern wurde ein interaktives Werkzeug konzipiert. Es soli eine Spezifikationssprache und Dienstleistungen implementieren, die auf die prim?r zu unterstützenden T?tigkeiten.作者: 和平主義 時(shí)間: 2025-3-27 14:20 作者: 生氣地 時(shí)間: 2025-3-27 20:15 作者: Alveolar-Bone 時(shí)間: 2025-3-27 23:24 作者: 圍巾 時(shí)間: 2025-3-28 05:49
Werkzeuge der Programmiertechnik978-3-642-68064-9Series ISSN 0343-3005 作者: 膽小懦夫 時(shí)間: 2025-3-28 08:56
0343-3005 Overview: 978-3-540-10725-5978-3-642-68064-9Series ISSN 0343-3005 作者: Vsd168 時(shí)間: 2025-3-28 11:22
Developing Algebraic Specifications of Threaded Data Structure Implementations, trees or traversable stacks. In particular, a technique is described to “freeze” an operation of an abstract type such that its arguments become reconstructable. Thus an algebraic specification of a data structure with “construction history” evolves, which may be viewed as a formal description of an implementation using pointers.作者: 神化怪物 時(shí)間: 2025-3-28 16:43 作者: 包庇 時(shí)間: 2025-3-28 20:45 作者: Congregate 時(shí)間: 2025-3-29 01:04 作者: 彎彎曲曲 時(shí)間: 2025-3-29 03:07
Georg Fischeri vielen Arten zum deutlichen Rückgang im Freiland geführt – manche sind mittlerweile stark gef?hrdet oder stehen kurz vor der Ausrottung. .Ein. Instrument, um bestimmte Arten zumindest in Menschenobhut zu erhalten, ist die gezielte Nachzucht. Dabei kann es jedoch nicht um die standardisierte ?Zierv作者: 充氣球 時(shí)間: 2025-3-29 07:46 作者: Chemotherapy 時(shí)間: 2025-3-29 15:00
Peter Schnupprs. In his anthology of Collins’ criticism, Norman Page finds this dismissive view of . a ‘judgement endorsed by Swinburne (who found it “l(fā)udicrously loathesome”) and Sadleir, as well as by most of the contemporary reviewers’.. And while this may have been the dominant reading of the novel, it is no作者: Bridle 時(shí)間: 2025-3-29 16:17
Wolfgang Hesseas we have seen, this sense of free association which is the source of much of Williams’s criticism. But the Transcendental legacy, most apparent through Whitman, is that in the activity of relating lies a foundation capable of sustaining a vast, and, at times, apparently anarchical vision. Within t作者: 信任 時(shí)間: 2025-3-29 21:56 作者: hurricane 時(shí)間: 2025-3-30 01:43 作者: Enliven 時(shí)間: 2025-3-30 04:32 作者: 背書 時(shí)間: 2025-3-30 09:31 作者: Functional 時(shí)間: 2025-3-30 15:06 作者: 束縛 時(shí)間: 2025-3-30 17:17
Basic EPR Methodology,nderstanding of EPR—including quantum mechanics, klystron, wave guides and all that—is probably not necessary to collaborate with an EPR spectroscopist and to record significant and biologically relevant spectra..作者: chandel 時(shí)間: 2025-3-30 22:49
Bioinformatics for Bioinformation,ponents of bioinformatics are discussed in detail. A sound knowledge on the basic concepts in bioinformatics is the foundation for bioinformation discovery from data. The significance of bioinformation discovery in defining targets for developing drugs is discussed. The issues in a discovery environ
