混合
发表于 2025-3-23 10:59:52
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
无可非议
发表于 2025-3-23 14:43:15
http://reply.papertrans.cn/39/3801/380087/380087_12.png
拥挤前
发表于 2025-3-23 19:52:09
http://reply.papertrans.cn/39/3801/380087/380087_13.png
果仁
发表于 2025-3-24 00:08:00
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
发表于 2025-3-24 06:03:48
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
食草
发表于 2025-3-24 07:42:26
http://reply.papertrans.cn/39/3801/380087/380087_16.png
Analogy
发表于 2025-3-24 13:42:28
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
发表于 2025-3-24 17:56:46
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
发表于 2025-3-24 19:50:00
http://reply.papertrans.cn/39/3801/380087/380087_19.png
词汇表
发表于 2025-3-25 00:32:06
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.