Angebote zu "Logische" (10 Treffer)

Kategorien

Shops

Logische und Methodische Grundlagen der Program...
34,99 € *
ggf. zzgl. Versand

Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und Programmentwicklung In diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher Basis verstehen und bewältigen. Sie fassen alle behandelten wissenschaftlichen Ansätze und Methoden übersichtlich zusammen und führen diese anhand von praktischen Beispielen näher aus.Die Kernthemen des Werks im Überblick Das Buch "Logische und Methodische Grundlagen der Programm- und Systementwicklung" widmet sich folgenden Themen: ? Algebraische Spezifikationen von Daten- und Rechenstrukturen ? Spezifikation und Implementierung ? Nachweis der Korrektheit für funktionale, sequenzielle und objektorientierte Programmierung ? Korrektheits- und Terminierungsbeweise ? Design-by-Contract ? Schrittweise Verfeinerung

Anbieter: Dodax
Stand: 19.01.2020
Zum Angebot
Eigenschaftsorientierte Beschreibung der logisc...
85,32 € *
ggf. zzgl. Versand

Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitäten sind verteilt und können erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitäten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitätssicherungsaufwand zu verringern und hohe Produktqualität zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitäten wichtig, die keine Mehrdeutigkeiten zulässt und gleichzeitig präzise Definition von Freiräumen für die weitere Systementwicklung ermöglicht.David Trachtenherz entwickelt den Lösungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstützt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert.

Anbieter: Dodax AT
Stand: 19.01.2020
Zum Angebot
Eigenschaftsorientierte Beschreibung der logisc...
82,99 € *
ggf. zzgl. Versand

Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitäten sind verteilt und können erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitäten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitätssicherungsaufwand zu verringern und hohe Produktqualität zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitäten wichtig, die keine Mehrdeutigkeiten zulässt und gleichzeitig präzise Definition von Freiräumen für die weitere Systementwicklung ermöglicht.David Trachtenherz entwickelt den Lösungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstützt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert.

Anbieter: Dodax
Stand: 19.01.2020
Zum Angebot
Broy:Logische und Methodische Grundlage
34,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 17.09.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Logische und Methodische Grundlagen der Programm- und Systementwicklung, Titelzusatz: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis, Autor: Broy, Manfred, Verlag: Springer-Verlag GmbH // Springer Fachmedien Wiesbaden GmbH, Imprint: Springer Vieweg, Sprache: Deutsch, Schlagworte: Datenverarbeitung // Datenverschlüsselung // Kryptografie // EDV // Theorie // Software-Entw // Software Engineering // Programmieren // Algorithmus // simulation // COMPUTERS // Programming // General // Computermodellierung und, Rubrik: Informatik, Seiten: 451, Abbildungen: Bibliographie, Informationen: Book, Gewicht: 796 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 19.01.2020
Zum Angebot
Broy:Logische und Methodische Grundlage
34,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 17.09.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Logische und Methodische Grundlagen der Programm- und Systementwicklung, Titelzusatz: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis, Autor: Broy, Manfred, Verlag: Springer-Verlag GmbH // Springer Fachmedien Wiesbaden GmbH, Imprint: Springer Vieweg, Sprache: Deutsch, Schlagworte: Datenverarbeitung // Datenverschlüsselung // Kryptografie // EDV // Theorie // Software-Entw // Software Engineering // Programmieren // Algorithmus // simulation // COMPUTERS // Programming // General // Computermodellierung und, Rubrik: Informatik, Seiten: 451, Abbildungen: Bibliographie, Informationen: Book, Gewicht: 796 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 19.01.2020
Zum Angebot
Logische und Methodische Grundlagen der Program...
26,99 € *
ggf. zzgl. Versand

Logische und Methodische Grundlagen der Programm- und Systementwicklung ab 26.99 € als pdf eBook: Datenstrukturen funktionale sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 19.01.2020
Zum Angebot
Logische und Methodische Grundlagen der Program...
34,99 € *
ggf. zzgl. Versand

Logische und Methodische Grundlagen der Programm- und Systementwicklung ab 34.99 € als Taschenbuch: Datenstrukturen funktionale sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis. 1. Aufl. 2019. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 19.01.2020
Zum Angebot
Logische und Methodische Grundlagen der Program...
34,99 € *
ggf. zzgl. Versand

Logische und Methodische Grundlagen der Programm- und Systementwicklung ab 34.99 EURO Datenstrukturen funktionale sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis. 1. Aufl. 2019

Anbieter: ebook.de
Stand: 19.01.2020
Zum Angebot
Logische und Methodische Grundlagen der Program...
26,99 € *
ggf. zzgl. Versand

Logische und Methodische Grundlagen der Programm- und Systementwicklung ab 26.99 EURO Datenstrukturen funktionale sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Anbieter: ebook.de
Stand: 19.01.2020
Zum Angebot