Methoden der imperativen Programmierung
Mit Beispielen in MODULA-2 und EIFFEL
Seit Anfang der siebziger Jahre gibt es an der Universität Karlsruhe die Möglich keit, das Fach "Wirtschaftsingenieurwesen" mit dem Schwerpunkt Informatik zu studieren. Studenten, die sich für diesen Schwerpunkt entscheiden, wird - ne ben einführenden...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Methoden der imperativen Programmierung “
Klappentext zu „Methoden der imperativen Programmierung “
Seit Anfang der siebziger Jahre gibt es an der Universität Karlsruhe die Möglich keit, das Fach "Wirtschaftsingenieurwesen" mit dem Schwerpunkt Informatik zu studieren. Studenten, die sich für diesen Schwerpunkt entscheiden, wird - ne ben einführenden Vorlesungen über Mathematik und aus dem Bereich der Wirt schaftswissenschaften - eine breite Grundausbildung in Informatik angeboten. Deren Kern ist ein viersemestriger Kurs, welcher die wichtigsten Kenntnisse zum Verständnis des Aufbaus, des Betriebs und der Anwendung von Rechnern vermittelt. Zur Befriedigung eines eher "akademischen" Erkenntnisinteresses wird dabei - und dies gilt durchaus für den gesamten Studiengang - ganz bewußt der Nutzen hinzukalkuliert, den ein solches Wissen und die damit verbundenen Fertigkeiten für die berufliche Qualifikation der Absolventen haben sollten. Dieses praktische Interesse ist sicher eine der stärksten Motivationen dafür, daß immer häufiger Themen für abschließende Diplomarbeiten angeboten und gewählt wurden, welche die Spezifikation, den Entwurf und die Implementierung größerer Programme beinhalteten, mitunter auch als Teile umfangreicher und länger laufender Projekte. Bei der Anfertigung und Betreuung solcher Arbeiten wurde für Lernende und Lehrende nicht selten ein Mangel erkennbar, der offen bar auf eine Lücke im Lehrangebot zurückzuführen war: Vielen Studenten fehl te ein hinreichend klares Bewußtsein für das, was die Qualität eines Software Produktes ausmacht, ganz zu schweigen von einem guten Verständnis der Mög lichkeiten, diese Qualität zu erzielen.
Inhaltsverzeichnis zu „Methoden der imperativen Programmierung “
1. Imperative Programmierung.- 1.1 Maschine und Sprache.- 1.2 Ziele und Wege.- Literatur zu Kapitel 1.- 2. Qualität und Stil "im Kleinen".- 2.1 Programm-Qualität.- 2.2 Programmierstil.- 2.3 Einfache Maßnahmen zur Verbesserung der Effizienz.- Literatur zu Kapitel 2.- 3. Schrittweise Verfeinerung.- 3.1 Schrittweise Verfeinerung als Entwurfstechnik.- 3.2 Zwei Beispiele.- 3.3 Diagramm-Techniken zur Unterstützung "Schrittweiser Verfeinerung".- Literatur zu Kapitel 3.- 4. Programmieren durch Beweisen.- 4.1 Prädikate.- 4.2 Semantik.- 4.3 Zielorientierte Programmentwicklung.- Literatur zu Kapitel 4.- 5. Datenstrukturierter Programm-Entwurf.- 5.1 Objektstruktur und Programmstruktur.- 5.2 Programm-Konstruktion aus Input und Output.- Literatur zu Kapitel 5.- 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.- Literatur zu Kapitel 6.- Stichwortverzeichnis.
Bibliographische Angaben
- Autor: Hans-Georg Stork
- 1993, X, 462 Seiten, Maße: 23,5 cm, Kartoniert (TB), Deutsch
- Verlag: Vieweg+Teubner
- ISBN-10: 3519024160
- ISBN-13: 9783519024163
Kommentar zu "Methoden der imperativen Programmierung"
0 Gebrauchte Artikel zu „Methoden der imperativen Programmierung“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Methoden der imperativen Programmierung".
Kommentar verfassen