مشخصات کتاب

Programmiersprachen und Programmentwicklung: 7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982

ویرایش: [1 ed.] 
نویسندگان: Władysław M. Turski (auth.),  Hans Wössner (eds.)  
سری: Informatik-Fachberichte 53 
ISBN (شابک) : 9783540112044, 9783642683558 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1982 
تعداد صفحات: 242
[241] 
زبان: German-English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 Mb 

در صورت تبدیل فایل کتاب Programmiersprachen und Programmentwicklung: 7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان های برنامه نویسی و توسعه برنامه: هفتمین کنفرانس تخصصی سازماندهی شده توسط کمیته فنی 2 GI مونیخ، 9./10. مارس 1982 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب زبان های برنامه نویسی و توسعه برنامه: هفتمین کنفرانس تخصصی سازماندهی شده توسط کمیته فنی 2 GI مونیخ، 9./10. مارس 1982

این جلد شامل کمک به سمپوزیوم \"زبان های برنامه نویسی و توسعه برنامه\"، 9 و 10 مارس 1982 در Mlinchen است. این کنفرانس هفتمین کنفرانس از سری کنفرانس های تخصصی است که توسط کمیته فنی 2 \"زبان های برنامه نویسی و توسعه برنامه\" انجمن انفورماتیک سازماندهی شده است و اولین آن در سال 1971 در مونیخ برگزار شد. در این بین ساربروکن (1972)، کیل (1974)، ارلانگن (1976)، براونشوایگ (1978) و دارمشتات (1980) قرار دارند. هدف این کنفرانس های تخصصی ارائه وضعیت فعلی حوزه تخصصی، اشاره به پیشرفت های جدیدتر و تشویق تبادل تجربه بین محققان و کاربران بوده و هست. گسترش نام قبلی \"زبان های برنامه نویسی\" کمیته فنی (و پنج کنفرانس تخصصی اول آن) این بینش را در نظر می گیرد که در سال های اخیر رشد کرده است مبنی بر اینکه پیشرفت زبانی و روش شناختی در برنامه نویسی تنها با هم قابل دستیابی است. این خودفهم فراگیرتر از این زمینه، و همچنین همگرایی فزاینده تحقیق و کاربرد، به وضوح در کلیت مشارکت های حاضر بیان شده است. بنابراین از یک زیر گروه بندی موضوعی اجتناب شد. ترتیب سخنرانی ها مطابق با ترتیب آنها در برنامه کنفرانس است. فقط سخنرانی های اصلی که در آن کارشناسان شناخته شده در مورد پیشرفت های اخیر در تئوری و عمل گزارش می دهند، ارائه شده است. در حالی که متأسفانه تنها خلاصه یکی از سخنرانی های اصلی در زمان انتشار در دسترس بود، نسخه خطی پروفسور تورسکی، دانشگاه ورشو، به موقع رسید - در واقع برخلاف انتظارات در بحران فعلی.

توضیحاتی درمورد کتاب به خارجی

Dieser Band enthalt die Beitrage zur Fachtagung \"Programmiersprachen und Programmentwicklung\", 9. und 10. Marz 1982 in Mlinchen. Die Tagung ist die siebte in der Reihe der Fachtagungen, die der FachausschuB 2 \"Programmiersprachen und Programmentwicklung\" der Gesellschaft fUr In­ formatik veranstaltet und deren erste 1971 ebenfalls in MUnchen statt­ gefunden hat. Dazwischen liegen SaarbrUcken (1972), Kiel (1974), Er­ langen (1976), Braunschweig (1978) und Darmstadt (1980). Ziel dieser Fachtagungen war und ist es, den jeweils aktuellen Stand des Fachge­ biets darzustellen, neuere Entwicklungen aufzuzeigen und den Erfahrungs­ austausch zwischen Forschern und Anwendern zu fordern. Die Erweiterung der frUheren Bezeichnung \"Programmiersprachen\" des Fachausschusses (und seiner ersten fUnf Fachtagungen) tragt der in den letzten J,ahren gewachsenen Einsicht Rechnung, daB sprachliche und me­ thodische Fortschritte in der Programmierung nur gemeinsam erzielt wer­ den konnen. Dieses umfassendere Selbstverstandnis des Fachgebiets, wie auch die zunehmende Annaherung von Forschung und Anwendung kommen gera­ de in der,Gesamtheit der vorliegenden Beitrage deutlich zum Ausdruck. Auf eine thematische Untergruppierung wurde deshalb verzichtet. Die An­ ordnung der Vortrage entspricht ihrer Reihenfolge im Tagungsprogramm. Vorgezogen wurden lediglich die Hauptvortrage, in denen anerkannte Ex­ perten richtungweisend Uber neuere Entwicklungen in Theorie und Praxis berichten. Wahrend von einem der Hauptvortrage bei Drucklegung leider nur die Zusammenfassung vorlag, traf das Manuskript von Professor Turski, Universitat Warschau, - in der gegenwartigen Krise eigentlich wider Er­ warten - noch rechtzeitig ein.

فهرست مطالب

Front Matter....Pages I-VIII
A View of Current Concerns in Software Engineering....Pages 1-19
Towards a Decentralised General-Purpose Computer....Pages 21-31
Directions and Trends in FORTRAN (Abstract)....Pages 32-32
Findet Ada Zurück Nach Europa....Pages 33-44
Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme....Pages 45-65
Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation....Pages 67-78
Ein System zur rechnerunterstützten Spezifikation....Pages 79-91
Projektorganisation nach dem Komponentenkonzept....Pages 93-103
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication....Pages 105-116
From Requirements to their Formalization — A Case Study on the Stepwise Development of Algebraic Specifications....Pages 117-132
Generierung von Programmen Für kommerzielle Anwendungen auf Kleinrechnern....Pages 133-150
LL- and LR-Attributed Grammars....Pages 151-164
Static Semantic Checks of Global Variables in a Procedural Language....Pages 165-176
A Formal Model of Instruction Set Semantics....Pages 177-190
System- und Sprachentwicklung für die Verfahrenstechnik auf der Basis abstracter Maschinen....Pages 191-207
Modularer Mustervergleich im Rahmen prozeduraler Programmierung....Pages 209-220
A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions....Pages 221-236
Back Matter....Pages 237-237

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Unfinished business: the railroad in American life

دانلود کتاب Introduction to contemporary mathematics

دانلود کتاب Advanced Technologies in Biodiesel: New Advances in Designed and Optimized Catalysts

دانلود کتاب Grundlagen der Statistik: Datenerfassung und -darstellung, Maßzahlen, Indexzahlen, Zeitreihenanalyse

دانلود کتاب In the Active Voice