Titlebook: GI — 11. Jahrestagung; In Verbindung mit Th Wilfried Brauer Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Algorithmen.

混合

GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract)proved to be a powerful and flexible tool for the formal definition of data structures. Algebraic concepts have also been employed for the specification of programming language semantics, e.g. first-order identities (/Wand 77/) or continuous algebras (/Courcelle, Nivat 78/, /Goguen et al. 77/). In c

無(wú)可非議

擁擠前

果仁

Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualit?t von Software-Produktenise im Entwicklungs- und Wartungsprozess. Insofern ist die Bewertung der Qualit?t von Software-Produkten einerseits eine Aufgabe, die in den Software-Entwicklungsproze? integriert ist und sowohl die einzelnen Zwischen/Endprodukte als auch den Erstellungsproze? betrifft. Darüber hinaus ist die Bewert

acrobat

Der Einflu? von Strukturierungsmethoden der Anwendungsprogrammierung auf die Durchlaufzeit von Progrgramme, die beispielsweise viele GOTO-Anweisungen aufweisen und nicht modularisiert wurden, in der Programmausführung schneller sind als Programme, die den Regeln der strukturierten Programmierung gehorchen. Dies soll auch der Grund dafür sein, da? sich strukturierte Entwurfsmethoden bisher in der A

食草

Analogy

Eine Metrik zur Bewertung der Modularisierungermodularen Strukturen werden aufgrund von Kenngr??en eines Schichtenmodells und ihres Export-/Importverhaltens bewertet. Die intramodulare Architektur wird mit einer Baumstruktur verglichen. Abschlie?end werden beide Teile an einem Beispiel verdeutlicht.

Bucket

https://doi.org/10.1007/978-3-642-47618-1tt and Strachey, monolithic and do not encourage modularization. Compiler descriptions, like any other specification of complex program systems, are nontrivial to write and reliability and modifiability can be achieved only through adequate structuring mechanisms.

Hyperlipidemia

詞匯表

Carl-Otto Ples Leusden,Hans-Bernd Weberihr erzeugten Programmierumgebung dar. Die Semantikbeschreibung ist denotational unter Berücksichtigung von Strukturierungshilfsmitteln. Fragmente werden durch einen Lambda-Interpretierer ausgeführt, der zur Interpretation unvollst?ndiger Terme erweitert wurde.