Imagen del editor

Hypothesengesteuerte Analyse von Objektarchitekturen,

Joachim Hans Fröhlich

ISBN 10: 3830000413 / ISBN 13: 9783830000419
Editorial: Verlag Dr. Kovac, Hamburg, 1999
Nuevos Condición: neu Encuadernación de tapa blanda
Librería: Verlag Dr. Kovac GmbH (Hamburg, Alemania)

Librería en AbeBooks desde: 24 de enero de 2011 Valoración librería Valoración 4 estrellas

Cantidad disponible: 5

Comprar nuevo
Precio: EUR 69,95 Convertir moneda
Gastos de envío: EUR 5,50 De Alemania a España Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

Forschungsergebnisse der Programmentwicklung, Band 12 137 pages. Die objektorientierte Programmierung hat das Potential zur Steigerung der Softwarequalität und der Entwicklungsproduktivität. Die Analyse eines objektorientierten Programms ist jedoch auch bei übersichtlicher Klassenhierarchie schwierig. Ein wesentlicher Grund für diese Schwierigkeiten ist der Unterschied zwischen der statistischen Programmstruktur (der Struktur des Quelltexts) und dem Programmverhalten. Dieser Unterschied erschwert die Analyse dynamischer Eigenschaften und damit besonders das Testen und Dokumentieren des Programmverhaltens. Die Ergebnisse dieser Arbeit unterstützen zielgerichtete Analysen des Verhaltens objektorientierter Programme. Das Analyseziel wird als Hypothese über veränderliche Strukturen kooperierender Objekte formuliert. Als Informationsquelle dient der Quelltext. Nach der Festlegung des Analyseziels wird ein Programmlauf auf Übereinstimmung mit der Hypothese geprüft. Je nach Analyseergebnis wird die Analyse abgebrochen, die Hypothese verfeinert oder ein anderer Programmlauf gegen die gleiche Hypothese geprüft. Durch dieses Verfahren leisten hypothesengesteuerte Verhaltensanalysen einen wichtigen Beitrag zur Sicherung der Programmqualität. Nach einer kurzen Anforderungsanalyse stellt der Autor ein Modell zur Beschreibung des Verhaltens objektorientierter Programme vor. Das Modell bildet die semantische Grundlage für eine Sprache zur Formulierung von Hypothesen über Ausschnitte aus dem Programmverhalten. Die Ausdrucksstärke der Sprache wird anhand von Hypothesen demonstriert, die Analysen für verschiedene Zwecke unterstützen. Experimente mit einem prototypisch entwickelten Analysewerkzeug zeigen Probleme der automatischen Hypothesenanalyse und Lösungen zur Überwindung der Probleme. Eine Bewertung der Arbeitsergebnisse, ein Vergleich mit ähnlichen Lösungsansätzen und ein Ausblick auf weiterführende Forschung runden diese Arbeit ab. N° de ref. de la librería x0041

Hacer una pregunta a la librería

Detalles bibliográficos

Título: Hypothesengesteuerte Analyse von ...

Editorial: Verlag Dr. Kovac, Hamburg

Año de publicación: 1999

Encuadernación: Softcover

Condición del libro: neu

Edición: 1. Auflage.

Descripción de la librería

Ver la página web de la librería

Condiciones de venta:

Rückgabebelehrung

Rückgaberecht
Sie können die erhaltene Ware ohne Angabe von Gründen innerhalb
von 14 Tagen durch Rücksendung der Ware zurückgeben. Die Frist
beginnt nach Erhalt dieser Belehrung in Textform (z. B. als
Brief, Fax, E-Mail), jedoch nicht vor Eingang der Ware beim
Empfänger (bei der wiederkehrenden Lieferung gleichartiger Waren
nicht vor Eingang der ersten Teillieferung) und auch nicht vor
Erfüllung unserer Informationspflichten gemäß Artikel 246 § 2 in
Verbindung mit § 1 Absatz 1 ...

Más información
Condiciones de envío:

Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zusätzliche Versandkosten anfallen.


Información detallada sobre el vendedor

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue