Refinements in HOLCF: Implementation of Interactive Systems (Schriftenreihe Forschungsergebnisse zur Informatik)
4 Angebote vergleichen

Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer Spezifikation beweisen. Es gibt unterschiedliche Verfeinerungsbegriffe für unterschiedliche Entwicklungsmethoden und unterschiedliche Logiken. HOLCF ist eine Logik höherer Stufe, die es erlaubt berechenbare Funktionen wie in LCF darzustellen. HOLCF eignet sich besonders gut für die Modellierung verteilter und Interaktiver Systeme. Mathematisch gesehen ist HOLCF eine konservative und damit korrekte Erweiterung von HOL um die Bereichskonzepte von LCF. HOLCF ist im Beweissystem Isabelle realisiert und steht damit als Tool für die Korrektheitsbeweise von Softwareentwicklungen zur Verfügung. Die Implementierung ist eine spezielle, besonders schwierige Verfeinungsrelation, die es erlaubt Softwaresysteme mit unterschiedlichen Schnittstellen gemeinsam zu entwickeln. Technisch gesehen besteht die Implementierung aus Subtyping und Quotienten.

Von Händler/Antiquariat, Verlag Dr. Kovac GmbH [56043471], Hamburg, Germany.
Forschungsergebnisse zur Informatik, Band 32 296 pages. Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer Spezifikation beweisen. Es gibt unterschiedliche Verfeinerungsbegriffe für unterschiedliche Entwicklungsmethoden und unterschiedliche Logiken. HOLCF ist eine Logik höherer Stufe, die es erlaubt berechenbare Funktionen wie in LCF darzustellen. HOLCF eignet sich besonders gut für die Modellierung verteilter und Interaktiver Systeme. Mathematisch gesehen ist HOLCF eine konservative und damit korrekte Erweiterung von HOL um die Bereichskonzepte von LCF. HOLCF ist im Beweissystem Isabelle realisiert und steht damit als Tool für die Korrektheitsbeweise von Softwareentwicklungen zur Verfügung. Die Implementierung ist eine spezielle, besonders schwierige Verfeinungsrelation, die es erlaubt Softwaresysteme mit unterschiedlichen Schnittstellen gemeinsam zu entwickeln. Technisch gesehen besteht die Implementierung aus Subtyping und Quotienten.

Von Händler/Antiquariat, Verlag Dr. Kovac GmbH [56043471], Hamburg, Germany.
Forschungsergebnisse zur Informatik, Band 32 296 pages. Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer Spezifikation beweisen. Es gibt unterschiedliche Verfeinerungsbegriffe für unterschiedliche Entwicklungsmethoden und unterschiedliche Logiken. HOLCF ist eine Logik höherer Stufe, die es erlaubt berechenbare Funktionen wie in LCF darzustellen. HOLCF eignet sich besonders gut für die Modellierung verteilter und Interaktiver Systeme. Mathematisch gesehen ist HOLCF eine konservative und damit korrekte Erweiterung von HOL um die Bereichskonzepte von LCF. HOLCF ist im Beweissystem Isabelle realisiert und steht damit als Tool für die Korrektheitsbeweise von Softwareentwicklungen zur Verfügung. Die Implementierung ist eine spezielle, besonders schwierige Verfeinungsrelation, die es erlaubt Softwaresysteme mit unterschiedlichen Schnittstellen gemeinsam zu entwickeln. Technisch gesehen besteht die Implementierung aus Subtyping und Quotienten.

Lieferung aus: Deutschland, Gewöhnlich versandfertig in 24 Stunden, Versandkostenfrei. Tatsächliche Versandkosten können abweichen.
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen