|
Showing 1 - 2 of
2 matches in All Departments
Softwareentwicklung erfordert – ausgehend von informellen
Problemstellungen – Spezifikationen unter Festlegung der Daten-
und Rechenstrukturen, Implementierungen und die Verifikation der
Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik
eine Reihe grundlegender Ansätze und Methoden entwickelt, die in
zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an
Beispielen erläutert werden. Der erste Band widmet sich der
Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation
und Implementierung sowie dem Nachweis der Korrektheit
funktionaler, prozeduraler und objektorientierter Programme. Der
zweite Band dieses umfassenden und zugleich grundlagenorientierten
Werkes behandelt softwareintensive Systeme und ihre Darstellung
durch Zustandsmaschinen, nebenläufige Programme mit gemeinsamen
Variablen, Datenflussprogramme, Schnittstellspezifikation,
Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung,
Verfeinerung und spezifische Formalismen wie CSP, TLA und
prädikative Spezifikation.Dies schließt unter anderem auch Themen
wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit
sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch
die Grundlagen für eine wissenschaftlich abgesicherte Entwicklung
von Programmen gelegt.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.