£63.80

diplom.de Nützlichkeit von Zusicherungen als Hilfsmittel beim Programmieren: Ein kontrolliertes Experiment

Price data last checked 21 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£64 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 70 days · 70 data points (no recent data)

Historical
Generating forecast…
£63.85 £63.79 £63.81 £63.82 £63.83 £63.84 £63.86 09 July 2026 26 July 2026 12 August 2026 29 August 2026 16 September 2026

Price Distribution

Price distribution over 70 days • 1 price levels

Days at Price
70 days 0 18 35 53 70 £64 Days at Price

Price Analysis

Most common price: £64 (70 days, 100.0%)

Price range: £64 - £64

Price levels: 1 different prices over 70 days

Description

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:

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
31 May 2000
Listed Since
04 February 2014

Barcode

No barcode data available

Similar Products You Might Like

Einsatz neuer Mensch-Maschine-Schnittstellen für Robotersimulation und -programmierung: 256 (IPA-IAO - Forschung und Praxis, 256)
74% match

Einsatz neuer Mensch-Maschine-Schnittstellen für Robotersimulation und -programmierung: 256 (IPA-IAO - Forschung und Praxis, 256)

Springer

£43.72 08 Aug 2026
Entwicklung von CBT-Anwendungen mit Autorensystemen
73% match

Entwicklung von CBT-Anwendungen mit Autorensystemen

diplom.de

£57.17 14 Sep 2026
Test von Web Sites: Problemstellung, Stand, Entwicklungstendenzen
73% match

Test von Web Sites: Problemstellung, Stand, Entwicklungstendenzen

Books on Demand

£58.00 13 Sep 2026
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
71% match

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Springer

£73.14 03 Aug 2026
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
71% match

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Springer

£43.01 26 Aug 2026
Singen lehren - privater Gesangsunterricht heute: Ein pädagogisches Produkt auf dem kulturellen Markt
71% match

Singen lehren - privater Gesangsunterricht heute: Ein pädagogisches Produkt auf dem kulturellen Markt

diplom.de

£68.00 30 Aug 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
71% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)

Springer

£146.43 31 Jul 2026
Exception-basierte Datenanalyse im SAP IS-U kommunaler Energieversorgungsunternehmen: Ein Vorgehensmodell
71% match

Exception-basierte Datenanalyse im SAP IS-U kommunaler Energieversorgungsunternehmen: Ein Vorgehensmodell

diplom.de

£109.90 13 Sep 2026
Software Projekt Produkt Programm Management: Modellierung einer global agierenden Software Forschungs- und Entwicklungsorganisation im internationalen Wettbewerb
71% match

Software Projekt Produkt Programm Management: Modellierung einer global agierenden Software Forschungs- und Entwicklungsorganisation im internationalen Wettbewerb

£87.00 30 Aug 2026
Beitrag von DSDM, RUP und XP zur Gestaltung von RAD-Projekten
71% match

Beitrag von DSDM, RUP und XP zur Gestaltung von RAD-Projekten

diplom.de

£58.00 13 Sep 2026
Integration von standardisierten Electronic-Commerce-Lösungen in betriebswirtschaftliche Standardsoftware
71% match

Integration von standardisierten Electronic-Commerce-Lösungen in betriebswirtschaftliche Standardsoftware

Books on Demand

£48.00 13 Sep 2026
Advanced Debugging Methods: 568 (The Springer International Series in Engineering and Computer Science, 568)
70% match

Advanced Debugging Methods: 568 (The Springer International Series in Engineering and Computer Science, 568)

Springer

£74.61 04 Aug 2026
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
70% match

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

Springer

£103.27 15 Sep 2026
Ein Experiment zur Wahrnehmung und Zuschreibung von Führungserfolg
70% match

Ein Experiment zur Wahrnehmung und Zuschreibung von Führungserfolg

diplom.de

£148.00 22 Aug 2026
Deductive Program Design: 152 (NATO ASI Subseries F:, 152)
70% match

Deductive Program Design: 152 (NATO ASI Subseries F:, 152)

Springer

£147.14 05 Aug 2026
Cognitive Models and Intelligent Environments for Learning Programming: 111 (NATO ASI Subseries F:, 111)
70% match

Cognitive Models and Intelligent Environments for Learning Programming: 111 (NATO ASI Subseries F:, 111)

Springer

£108.01 08 Aug 2026
Contemporary Empirical Methods in Software Engineering
70% match

Contemporary Empirical Methods in Software Engineering

Springer

£109.08 13 Sep 2026
Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)
70% match

Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)

Springer

£44.50 30 Jul 2026
Concurrency in Dependable Computing
70% match

Concurrency in Dependable Computing

Springer

£108.01 04 Aug 2026
Interorganisatorische Netzwerke aus organisationssoziologischer Sicht
70% match

Interorganisatorische Netzwerke aus organisationssoziologischer Sicht

diplom.de

£66.40 14 Sep 2026
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
70% match

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Springer

£108.01 07 Aug 2026
Research and Evidence in Software Engineering: From Empirical Studies to Open Source Artifacts
70% match

Research and Evidence in Software Engineering: From Empirical Studies to Open Source Artifacts

Auerbach Publications

£69.98 14 Sep 2026
Assertion-Based Design
70% match

Assertion-Based Design

Springer

£108.01 06 Aug 2026
Die (Un-)Möglichkeit der Zertifizierung von Tageseinrichtungen für Kinder
70% match

Die (Un-)Möglichkeit der Zertifizierung von Tageseinrichtungen für Kinder

diplom.de

£58.00 13 Sep 2026