Inhaltsangabe: Einleitung: Die meisten Artikel zum Thema Zusicherungen, darunter auch fast alle hier angesprochenen, heben die Vorzüge von Zusicherungen als Hilfsmittel beim Programmieren hervor, ohne aber ihre Kernaussage - mit Zusicherungen kann man besser programmieren als ohne - empirisch zu untermauern. Einige Autoren, wie z. B. Rosenblum und McKim, haben selbst viel mit Zusicherungen programmiert, so daß ihre Aussagen durch eigene Erfahrungen gestützt werden. Trotzdem steht ein Experiment, das die Nützlichkeit von Zusicherungen für die Neuentwicklung oder Wartung von Software empirisch mit mehreren Programmierern, die an denselben Problemen und mit denselben Werkzeugen arbeiten, untersucht, noch aus. Das ist der Anlaß für diese Diplomarbeit. Gang der Untersuchung: Kapitel 2 beschreibt die beiden Zusicherungswerkzeuge, die in diesem Experiment eingesetzt werden. In Kapitel 3 werden die Hypothesen, der Aufbau des Experiments, die Versuchspersonen und die Aufgaben beschrieben, die ihnen gestellt wurden. Die Ergebnisse, die aus den protokollierten Daten gewonnen wurden, werden in Kapitel 4 dargestellt, und Kapitel 5 beschließt die Ausarbeitung mit Zusammenfassung und Ausblick. Im Anhang sind die Aufgabenblätter und komplette Beispiele für interaktive Syntaxkurs-Sitzungen enthalten. Außerdem finden sich dort einige Tabellen mit Daten, die im Experiment gewonnen wurden und Detailinformationen liefern, die im Kapitel 4 nicht erwähnt werden. Die Programme, die in diesem Experiment von den Versuchspersonen erweitert wurden, die Rohdaten, die dabei gewonnen wurden, und die Perl-Programme für die Auswertung der Daten und zum Training der Versuchspersonen sind nicht in dieser Ausarbeitung enthalten. Sie sind unter http: //wwwipd.ira.uka.de/EIR verfügbar. Inhaltsverzeichnis: Inhaltsverzeichnis: 1.Einleitung 1.1Zusicherungen6 1.2Grundidee des Experiments8 1.3Verwandte Arbeiten8 1.3.1Störk: jContract8 1.3.2Leveson, Cha et al.: empirische Studie9 1.3.3Schneider:
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Diplomarbeit aus dem Jahr 1999 im Fachbereich Informatik - Software, Karlsruher Institut für Technologie (KIT) (Informatik, Programmstrukturen und Datenorganisation), Sprache: Deutsch, Abstract: Inhaltsangabe:Einleitung:Die meisten Artikel zum Thema Zusicherungen, darunter auch fast alle hier angesprochenen, heben die Vorzüge von Zusicherungen als Hilfsmittel beim Programmieren hervor, ohne aber ihre Kernaussage - mit Zusicherungen kann man besser programmieren als ohne - empirisch zu untermauern. Einige Autoren, wie z. B. Rosenblum und McKim, haben selbst viel mit Zusicherungen programmiert, so daß ihre Aussagen durch eigene Erfahrungen gestützt werden. Trotzdem steht ein Experiment, das die Nützlichkeit von Zusicherungen für die Neuentwicklung oder Wartung von Software empirisch mit mehreren Programmierern, die an denselben Problemen und mit denselben Werkzeugen arbeiten, untersucht, noch aus. Das ist der Anlaß für diese Diplomarbeit.Gang der Untersuchung:Kapitel 2 beschreibt die beiden Zusicherungswerkzeuge, die in diesem Experiment eingesetzt werden. In Kapitel 3 werden die Hypothesen, der Aufbau des Experiments, die Versuchspersonen und die Aufgaben beschrieben, die ihnen gestellt wurden.Die Ergebnisse, die aus den protokollierten Daten gewonnen wurden, werden in Kapitel 4 dargestellt, und Kapitel 5 beschließt die Ausarbeitung mit Zusammenfassung und Ausblick.Im Anhang sind die Aufgabenblätter und komplette Beispiele für interaktive Syntaxkurs-Sitzungen enthalten. Außerdem finden sich dort einige Tabellen mit Daten, die im Experiment gewonnen wurden und Detailinformationen liefern, die im Kapitel 4 nicht erwähnt werden.Die Programme, die in diesem Experiment von den Versuchspersonen erweitert wurden, die Rohdaten, die dabei gewonnen wurden, und die Perl-Programme für die Auswertung der Daten und zum Training der Versuchspersonen sind nicht in dieser Ausarbeitung enthalten. Sie sind unter verfügbar.Inhaltsverzeichnis:Inhaltsverzeichnis:1.Einleitung1.1Zusicherungen61.2Grundidee des Experiments81.3Verwandte Arbeiten81.3.1Störk: jContract81.3.2Leveson, Cha et al.: empirische Studie91.3.3Schneider: Concurrent Programming91.3.4Luckham et al.: Two-dimensional Pinpointing101.3.5McKim: Designing for correctness101.4Nützlichkeit eines Experiments101.5Gliederung der Ausarbeitung, Rohdaten102.Die verwendeten Zusicherungswerkzeuge122.1APP122.2jContract163.Beschreibung des Experiments193.1Fragestellung und Hypothesen193.2Aufbau des Experiments203.2.1Versuchspersonen213.2.2Klassifizierung und Vorsortierung der Versuchspersonen213.2.3Auswahl der Aufgaben233.2.4Teilaufgabe mit Neuentwicklungscharakter263.2.5Teilaufgabe mit Wartungscharakter263.2.6Reihenfolge der Aufgaben, Ablauf des Experiments273.2.7Unterschiede in den C- und Java-Aufgaben283.2.8Training der Teilnehmer vor dem Experiment283.3Bedrohungen der internen Gültigkeit293.4Bedrohungen der externen Gültigkeit323.5Technischer Versuchsaufbau323.5.1Kooperationsmöglichkeiten323.5.2Syntaxkurs und Skripte zum Übersetzen und Testen333.5.3Erfaßte Daten354.Ergebnisse374.1Signifikanztest und Diagramme374.1.1Signifikanztest374.1.2Der Boxplot374.1.3Trendgeraden384.2Schwächen von jContract384.3Bereitschaft zur Verwendung von Zusicherungen394.4Zeitbedarf404.4.1Zur Ermittlung der Zeitdaten404.4.2Zeitbedarf mit und ohne Zusicherungen424.4.3Rückschlüsse aus dem Zeitbedarf484.4.4Zusammenhang zwischen Anzahl der Zusicherungen und Zeitbedarf484.5Wiederverwendung von Funktionen515.Zusammenfassung und Ausblick55Anhang57Literaturverzeichnis104 116 pp. Deutsch. N° de réf. du vendeur 9783838623955
Quantité disponible : 2 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. Print on Demand pp. 116 424:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on Creme w/Matte Lam. N° de réf. du vendeur 132865791
Quantité disponible : 4 disponible(s)
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Etat : New. Print on Demand pp. 116. N° de réf. du vendeur 26127721760
Quantité disponible : 4 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. PRINT ON DEMAND pp. 116. N° de réf. du vendeur 18127721770
Quantité disponible : 4 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Diplomarbeit aus dem Jahr 1999 im Fachbereich Informatik - Software, Karlsruher Institut für Technologie (KIT) (Informatik, Programmstrukturen und Datenorganisation), Sprache: Deutsch, Abstract: Inhaltsangabe:Einleitung:Die meisten Artikel zum Thema Zusicherungen, darunter auch fast alle hier angesprochenen, heben die Vorzüge von Zusicherungen als Hilfsmittel beim Programmieren hervor, ohne aber ihre Kernaussage - mit Zusicherungen kann man besser programmieren als ohne - empirisch zu untermauern. Einige Autoren, wie z. B. Rosenblum und McKim, haben selbst viel mit Zusicherungen programmiert, so daß ihre Aussagen durch eigene Erfahrungen gestützt werden. Trotzdem steht ein Experiment, das die Nützlichkeit von Zusicherungen für die Neuentwicklung oder Wartung von Software empirisch mit mehreren Programmierern, die an denselben Problemen und mit denselben Werkzeugen arbeiten, untersucht, noch aus. Das ist der Anlaß für diese Diplomarbeit.Gang der Untersuchung:Kapitel 2 beschreibt die beiden Zusicherungswerkzeuge, die in diesem Experiment eingesetzt werden. In Kapitel 3 werden die Hypothesen, der Aufbau des Experiments, die Versuchspersonen und die Aufgaben beschrieben, die ihnen gestellt wurden.Die Ergebnisse, die aus den protokollierten Daten gewonnen wurden, werden in Kapitel 4 dargestellt, und Kapitel 5 beschließt die Ausarbeitung mit Zusammenfassung und Ausblick.Im Anhang sind die Aufgabenblätter und komplette Beispiele für interaktive Syntaxkurs-Sitzungen enthalten. Außerdem finden sich dort einige Tabellen mit Daten, die im Experiment gewonnen wurden und Detailinformationen liefern, die im Kapitel 4 nicht erwähnt werden.Die Programme, die in diesem Experiment von den Versuchspersonen erweitert wurden, die Rohdaten, die dabei gewonnen wurden, und die Perl-Programme für die Auswertung der Daten und zum Training der Versuchspersonen sind nicht in dieser Ausarbeitung enthalten. Sie sind unter verfügbar.Inhaltsverzeichnis:Inhaltsverzeichnis:1.Einleitung1.1Zusicherungen61.2Grundidee des Experiments81.3Verwandte Arbeiten81.3.1Störk: jContract81.3.2Leveson, Cha et al.: empirische Studie91.3.3Schneider: Concurrent Programming91.3.4Luckham et al.: Two-dimensional Pinpointing101.3.5McKim: Designing for correctness101.4Nützlichkeit eines Experiments101.5Gliederung der Ausarbeitung, Rohdaten102.Die verwendeten Zusicherungswerkzeuge122.1APP122.2jContract163.Beschreibung des Experiments193.1Fragestellung und Hypothesen193.2Aufbau des Experiments203.2.1Versuchspersonen213.2.2Klassifizierung und Vorsortierung der Versuchspersonen213.2.3Auswahl der Aufgaben233.2.4Teilaufgabe mit Neuentwicklungscharakter263.2.5Teilaufgabe mit Wartungscharakter263.2.6Reihenfolge der Aufgaben, Ablauf des Experiments273.2.7Unterschiede in den C- und Java-Aufgaben283.2.8Training der Teilnehmer vor dem Experiment283.3Bedrohungen der internen Gültigkeit293.4Bedrohungen der externen Gültigkeit323.5Technischer Versuchsaufbau323.5.1Kooperationsmöglichkeiten323.5.2Syntaxkurs und Skripte zum Übersetzen und Testen333.5.3Erfaßte Daten354.Ergebnisse374.1Signifikanztest und Diagramme374.1.1Signifikanztest374.1.2Der Boxplot374.1.3Trendgeraden384.2Schwächen von jContract384.3Bereitschaft zur Verwendung von Zusicherungen394.4Zeitbedarf404.4.1Zur Ermittlung der Zeitdaten404.4.2Zeitbedarf mit und ohne Zusicherungen424.4.3Rückschlüsse aus dem Zeitbedarf484.4.4Zusammenhang zwischen Anzahl der Zusicherungen und Zeitbedarf484.5Wiederverwendung von Funktionen515.Zusammenfassung und Ausblick55Anhang57Literaturverzeichnis104. N° de réf. du vendeur 9783838623955
Quantité disponible : 1 disponible(s)
Vendeur : moluna, Greven, Allemagne
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Diplomarbeit aus dem Jahr 1999 im Fachbereich Informatik - Software, Karlsruher Institut fuer Technologie (KIT) (Informatik, Programmstrukturen und Datenorganisation), Sprache: Deutsch, Abstract: Inhaltsangabe:Einleitung:Die meisten Artikel zum Thema Z. N° de réf. du vendeur 5422299
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 20918132-n
Quantité disponible : Plus de 20 disponibles
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783838623955
Quantité disponible : Plus de 20 disponibles
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783838623955
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 20918132
Quantité disponible : Plus de 20 disponibles