Studium, Ausbildung und Beruf

web uni-protokolle.de
 powered by
NachrichtenLexikonProtokolleBŁcherForenMittwoch, 22. Oktober 2014 

Methoden der imperativen Programmierung. Mit Beispielen in MODULA-2 und EIFFEL.


von Hans-Georg Stork

Kategorie: Eiffel
ISBN: 3519024160

Kommentar abgeben

Aus dem Inhalt
1. Imperative Programmierung
1.1. Maschine und Sprache
1.2. Ziele und Wege
2. Qualit„t und Stil ˜im Kleinen˜
2.1. Programm-Qualit„t
2.2. Programmierstil
2.3. Einfache Ma˜nahmen zur Verbesserung der Effizienz
3. Schrittweise Verfeinerung
3.1. Schrittweise Verfeinerung als Entwurfstechnik
3.2. Zwei Beispiele
3.3. Diagramm-Techniken zur Untersttzung
4. Programmieren durch Beweisen
4.1. Pr„dikate
4.2. Semantik
4.3. Zielorientierte Progammentwicklung
5. Datenstrukturierter Programm-Entwurf
5.1. Objektstruktur und Programmstruktur
5.2. Programm-Konstruktion aus Input und Output
6. Aspekte der Programmierung im Gro˜en
6.1. Softwaresysteme
6.2. Qualit„t ˜im Gro˜en˜ und Software-Engineering
6.3. Systemanalyse und Systemspezifikation
6.4. Systementwurf und Systemimplementierung
Eiffel > Methoden der imperativen Programmierung. Mit Beispielen in MODULA-2 und EIFFEL.
ImpressumLesezeichen setzenSeite versendenSeite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/buecher/isbn/3519024160/">Methoden der imperativen Programmierung. Mit Beispielen in MODULA-2 und EIFFEL. </a>