{"product_id":"logische-und-methodische-grundlagen-der-programm-und-systementwicklung-datenstrukturen-funktionale-sequenzielle-und-objektorientierte-programmieru-9783658263010","title":"Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle Und Objektorientierte Programmieru","description":"\u003cp\u003e • Author(s): Manfred Broy | Alexander Malkis\u003cbr\u003e • Publisher: Springer Vieweg\u003cbr\u003e • Publisher Imprint: Springer Vieweg\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003e\u003cb\u003eEignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwicklung an \u003c\/b\u003e\u003c\/p\u003e\u003cp\u003eGeht man beim Entwickeln von Programmen von einer informellen Problemstellung aus, erfordert das: \u003c\/p\u003e\u003cp\u003ea) die Spezifikation des Programms unter Festlegung der Daten- und Rechenstrukturen.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eb) die Implementierung.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003ec) die Verifikation der Korrektheit.\u003c\/p\u003e Um diese Aufgaben zu bew�ltigen, hat die Informatik eine Reihe grundlegender Ans�tze und Methoden entwickelt, welche in Manfred Broy und Alexander Malkis Buch \"Logische und Methodische Grundlagen der Programm- und Systementwicklung\" �bersichtlich zusammengefasst und an praktischen Beispielen erl�utert werden.\u003cp\u003e\u003c\/p\u003e\u003cb\u003e Um was geht es im Detail? \u003c\/b\u003e\u003cp\u003eIn ihrem Buch �ber System- und Programmentwicklung behandeln die Autoren im Kern folgende Themen: \u003c\/p\u003e\u003cp\u003e- Algebraische Spezifikationen von Daten- und Rechenstrukturen sowie die F�higkeit, daraus Eigenschaften abzuleiten\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e- Die Spezifikation und Implementierung\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e- Den Nachweis der Korrektheit f�r funktionale, prozedurale und objektorientierte Programme\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eDies schlie t unter anderem auch Themen wie Korrektheits- und Terminierungsbeweise, Design-by-Contract und schrittweise Verfeinerung ein.\u003c\/p\u003e \u003cp\u003eMit ihrem Buch \"Logische und Methodische Grundlagen der Programm- und Systementwicklung\" gelingt es Broy und Malkis, die wichtigsten Grundlagen f�r eine wissenschaftlich abgesicherte Entwicklung von Programmen zu vermitteln. Das Werk richtet sich deshalb an Studierende aus der Informatik und an Praktiker des Software-Engineering mit Interesse an Grundlagen und Methodik.\u003c\/p\u003e Inhalte des Buchs �ber Programmentwicklung in der �bersicht- Einf�hrung indie Grundlagen der Softwareentwicklung\u003cbr\u003e- Rechen- und Datenstrukturen\u003cbr\u003e- Algebraische Datenmodellierung\u003cbr\u003e- Funktionale Programmierung\u003cbr\u003e- Anweisungsorientierte, sequenzielle Programmierung\u003cbr\u003e- Referenzen, Zeiger und organisierter Speicher\u003cbr\u003e- Verfeinerung\u003cbr\u003e- Grundlagen der Objektorientierung- Ausblick: parallel ablaufende, verteilte, kooperierende Systeme","brand":"Atlantic Books","offers":[{"title":"Paperback","offer_id":46457571868823,"sku":"9783658263010","price":2403.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783658263010.webp?v=1769182356","url":"https:\/\/atlanticbooks.com\/products\/logische-und-methodische-grundlagen-der-programm-und-systementwicklung-datenstrukturen-funktionale-sequenzielle-und-objektorientierte-programmieru-9783658263010","provider":"Atlantic Books","version":"1.0","type":"link"}