Trouver informations, conseils et prix pour springer berlin software automatisch testen il est vendu 117 € , présent dans la catégorie Bücher & Zeitschriften, ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Endlich ein deutschsprachiges Handbuch über automatische Testverfahren für Software. Die Autoren vermitteln praxisbezogen Handhabung, Werkzeuge, Effektivität und Leistungsmerkmale der Verfahren. Im Mittelpunkt steht dabei die Qualitätssicherung sowohl beim Test-Design und bei den Testwerkzeugen als auch bei der Dokumentation der Ergebnisse. Die CD-ROM enthält umfangreiche PDF-Dokumente zu automatischen Testverfahren, speziell zu ATLM (Automated Test Life-Cycle Methodology). Ein Buch, das den Praktiker Schritt für Schritt durch den Test-Prozess führt - von der Planung und Implementierung über das Management bis zum Report.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540676393
Trouver conseils, opinions et fonctionnalités sur springer berlin software defined radio il est vendu 130 € , présent dans la catégorie Bücher & Zeitschriften; ce produit appartient à Springer Berlin et est vendu par Orellfuessli.ch
Dieses Buch behandelt alle für ein Software Defined Radio (SDR) relevanten Systemteile: Antenne, Antennenanpassung, analoges Frontend, A/D-Umsetzung, Digital Downconversion (DDC), Interpolation, Synchronisation, Demodulation. Zunächst werden die notwendigen Grundlagen für die Darstellung von Signalen vermittelt sowie der gesamte Aufbau eines Software Defined Radios beschrieben, um anschliessend die einzelnen Komponenten näher zu betrachten.Der Schwerpunkt des Buches liegt auf dem Zusammenspiel der Komponenten und Signale innerhalb des Empfängers. Zur Veranschaulichung der Signale wird das Open-Source-Programm GNU Octave verwendet.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783662532331
Découvrir conseils, opinions et fonctionnalités sur springer berlin objektorientierte vendu 74.9 € , ce produit est placé dans la catégorie Bücher & Zeitschriften, fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Dieses Buch konsolidiert Erkenntnisse im Bereich des objektorientierten Entwurfs, die w{hrend der Entwicklung von ET++, einer portablen und umfassenden Klassenbibliothek, gemacht wurden. Durch Abstraktion von Design-Strukturen, die in ET++ zur Anwendung kamen, werden sogenannte Design-Muster identifiziert und beschrieben. Design-Muster sind bestimmte abstrahierte Klassenstrukturen, die bei der Gestaltung von neuen objektorientierten Applikationen und Klassenbibliotheken verwendet werden k nnen. Design-Muster erm glichen so eine Art der Wiederverwendung von Design und stellen dem Entwickler zus{tzlich ein Vokabular f}r die Beschreibung eines Entwurfs zur Verf}gung. Design-Muster sind deshalb eine wichtige Erg{nzung zu bekannten Methoden f}r den objektorientierten Entwurf.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540560067
Découvrir conseils, opinions et fonctionnalités sur springer berlin digitale hardware software vendu 61.9 € , ce produit est placé dans la catégorie Bücher & Zeitschriften, fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Dieses Lehrbuch gibt eine Einführung in Verfahren zum systematischen Entwurf eingebetteter Systeme. Es handelt sich dabei um Systeme, die in einen technischen Kontext eingebettet und aus Optimalitätsgründen hinsichtlich ihrer Aufgaben, Fähigkeiten, Schnittstellen und Einsatzgebiete spezialisiert sind, was im Allgemeinen eine Realisierung aus kooperierenden Hardware- und Softwarekomponenten erfordert. Wichtige Einsatzgebiete sind die Automobil- und Unterhaltungselektronik sowie die Kommunikations- und Medizintechnik. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben, wobei die wesentlichen Inhalte von der Modellierung bis hin zur Codegenerierung reichen. Auf Grund der steigenden Bedeutung eingebetteter Systeme stellt dieses Buch unentbehrliches Wissen für Studierende der Informatik, Elektrotechnik, Informationstechnik und Mechatronik zusammen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk sowohl für Forscher als auch für Entwickler eingebetteter Systeme.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540468226
Trouver conseils, opinions et fonctionnalités sur springer berlin software bewertung il est vendu 74.9 € , présent dans la catégorie Bücher & Zeitschriften; ce produit appartient à Springer Berlin et est vendu par Orellfuessli.ch
Die vorliegende Arbeit stellt einen Ansatz zur quantitativen Erfassung semantischer Informationsinhalte vor. Da Programme Transformationen von Information beschreiben, werden grössere Kenntnisse der Charakteristika von Information auch zu einem besseren Verständnis der Software-Produktion führen. Eine Analyse traditioneller Software-Masse zeigt deren grundsätzliche Schwächen auf. Ein möglicher Ausweg könnte darin bestehen, vermehrt Erkenntnisse aus semantischen Theorien der Programmiersprachen mit in die Betrachtungen einzuschliessen. Der hier vorgestellte Ansatz baut auf der denotationellen Semantik für Programmiersprachen auf. Überlegungen zum Begriff der Information motivierendie Definition von speziellen semantischen Bereichen, den Informationsbereichen. Die Grundidee ist, dass die Werte in Informationsbereichen auf Niveaus liegen. Die Niveauhöhe stellt intuitiv ein Mass für den Informationsinhalt eines Wertes dar. Dies liefert erste Grundlagen für die Definition neuer Informationsmasse. Dank Informationsbereichen ist es möglich, eine neue abstrakte Interpretation vonProgrammen, Informationsinformation genannt, zu formulieren. Erste Beobachtungen legen die Frage nahe, ob die Menge an Eingabeinformation und die Menge an Information, die im Programmtext in Form von gebundenen Variablen und Konstanten enthalten ist, die Menge derjeweils maximal möglichen semantischen Ausgabeinformation einer Programmausführung beschränkt.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540551515
Trouver informations, conseils et prix pour springer berlin unterst tzung flexibler il est vendu 52.9 € , présent dans la catégorie Bücher & Zeitschriften, ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Standardsoftware zur Unterstützung von Kommunikations-, Kooperations- und Koordinationsprozessen (K3) ist heute weitgehend technikzentriert. Im Mittelpunkt sollten jedoch die Mitarbeiter mit ihren Arbeitsprozessen stehen. Deshalb haben die Autoren des vorliegenden Buches eine neue Modellierungsmethodik entwickelt, die sich an den Anforderungen der Mitarbeiter orientiert. Sie geben einen Überblick über die bestehenden graphischen Modellierungsmethoden und die von ihnen entwickelte Beschreibungssprache K3 (für Kommunikation, Kooperation und Koordination). Mit dieser lassen sich die K3-Prozesse mit ihren Elementen Information, Aufgabe und Organisation entsprechend der gewünschten Modellierungsperspektive beschreiben. Die Autoren erläutern das Vorgehen bei der Analyse und der Gestaltung von kooperationsunterstützenden Systemen. In Fallbeispielen werden konkret entwickelte Lösungen vorgestellt. Ein Buch für Unternehmenspraktiker und Softwareentwickler.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783642640193
Trouver conseils, opinions et fonctionnalités sur springer berlin erstellen modularer software il est vendu 68.9 € , présent dans la catégorie Bücher & Zeitschriften; ce produit appartient à Springer Berlin et est vendu par Orellfuessli.ch
Diese beispielorientierte Einführung in das Erstellen modularer Software basiert auf der Programmiersprache Pascal. Von einfachen Programmstrukturen und Unterprogrammtechniken wird über Datenstrukturen und abstrakte Datentypen konsequent zu den Objektklassen hingeführt. Sämtliche Sprachelemente werden an vollständigen und lauffähigen Programmen anschaulich vorgestellt, die einem einheitlichen, gut lesbaren Programmierstil folgen. Die Beispiele bauen aufeinander auf und stammen aus allgemein verständlichen Gebieten. Es werden aber auch wichtige Anwendungen aus der Mathematik vorgeführt. Die Erweiterungen von Turbo Pascal werden berücksichtigt. Dessen UNIT-Konzept unterstüzt die Konstruktion modularer Software sehr gut. Seine objektorientierten Erweiterungen gestatten die Anwendung der Prinzipien und Techniken der objektorientierten Programmierung. Abgerundet wird das Buch mit einem Kapitel zu speziellen Programmierthemen, u.a. Rekursion und Graphik. Viele Aufgaben auf der Basis der Beispiele geben Anregungen zu weiterem Experimentieren. Eine Diskette mit den Beispielprogrammen kann beim Autor angefordert werden.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783642958311
Découvrir conseils, opinions et fonctionnalités sur springer berlin software entwicklung f vendu 74.9 € , ce produit est placé dans la catégorie Bücher & Zeitschriften, fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Echtzeitsysteme sollen anfallende Daten unter Einhaltung von Zeitanforderungen verarbeiten. Deshalb hängt deren korrekte Funktion nicht nur von den Berechnungsergebnissen ab, sondern auch vom Zeitpunkt ihrer Erzeugung. Das Buch stellt den Stand der Entwicklungsmethodik von Software für eingebettete Systeme mit kritischen Zeitbedingungen umfassend dar. Die Autoren behandeln grundlegende Konzepte, Analyse und Entwurf, Synchronisation und Konsistenz, Betriebssysteme, Vernetzung, Programmierung, Qualität und Sicherheit sowie Ausführungszeitschranken.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783642015953
Trouver informations, conseils et prix pour springer berlin software engineering mit il est vendu 68.9 € , présent dans la catégorie Bücher & Zeitschriften, ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Die Unified Modeling Language (UML) ist die Standardnotation für objektorientierte Modelle. Unter durchgehender Verwendung der UML werden wesentliche Bestandteile der objektorientierten Software-Entwicklung dargestellt. Teil 1 führt in Objektorientierung und Grundprinzipien der Softwareentwicklung ein. In Teil 2 werden die Details der aktuellen Version der UML präsentiert. Teil 3 erläutert die Aktivitäten in der Software-Entwicklung entlang der Arbeitsschritte des Unified Process. Kapitel 16 erläutert den Einsatz objektorientierter Anwendungen mit relationalen Datenbanken. Alle benutzten Begriffe werden im Text erläutert. Im Glossar findet der Leser ggf. auch abweichende Verwendung von Begriffen.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540416005
Trouver informations, conseils et prix pour springer berlin empirische software ergonomie il est vendu 74.9 € , présent dans la catégorie Bücher & Zeitschriften, ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Ausgehend von einer handlungstheoretischen Analyse der Zusammenhänge der ergonomischen - insbesondere der software-ergonomischen - Ausgestaltung der Technik, der Arbeitsorganisation bei Einsatz Neuer Technologien und der Gestaltung von Qualifizierungsmassnahmen wird ein interaktives EDV-gestütztes Bewertungsmodell entwickelt, das den experimentellen Nachweis der Wirksamkeit software-ergonomischer Massnahmen gestattet. Hierbei werden im jeweiligen Einzelfall Aussagen über optimal ausgestaltete Software-Lösungen ermöglicht. Die Basis bildet der Einfluss software-ergonomischer Massnahmen auf das menschliche Problemlöse- und Entscheidungsverhalten, das im Umgang mit dem entwickelten Evaluierungsmodell in quantifizierter Form erfasst wird. Es werden insbesondere die Schlüsselqualifikationen logisches Denkvermögen, strukturierte Vorgehensweise, Fähigkeit des Erkennens von Systemverhalten und Grundzusammenhängen, Transformationsfähigkeit und selbstreflektierte Vorgehensweise berücksichtigt. Das Verfahren wurde anhand der Analyse des Verhaltens von insgesamt ca. 400 Probanden unterschiedlicher Vorbildung und beruflicher Stellung entwickelt. Eine Anwendung dieser experimentellen Ergebnisse bildet die Konzeption eines nutzergerechten Programmiersystems für CNC-Drehmaschinen. Eine weitere Anwendung finden die abgeleiteten Leitregeln zur nutzergerechten Ausgestaltung von Programmen in einer praxiserprobten Vorgehensweise zur Neu- bzw. Umgestaltung integrierter Software-Pakete zur Fertigungsplanung und -steuerung eines Unternehmens.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540188230
Trouver informations, conseils et prix pour springer berlin software qualit t il est vendu 71.9 € , présent dans la catégorie Bücher & Zeitschriften, ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Computerabstürze, Rückrufaktionen, Sicherheitslecks: Das Phänomen Software- Fehler hat sich zum festen Bestandteil unseres täglichen Lebens entwickelt. Mit dem unaufhaltsamen Vordringen der Computertechnik in immer mehr sicherheitskritische Bereiche wird die Software-Qualitätssicherung zu einer stetig wichtiger werdenden Disziplin der Informationstechnik. Aber warum ist die Qualität von Software heute so schlecht? Und viel wichtiger noch: Stehen wir der Misere hilflos gegenüber? Dieses Buch führt umfassend und praxisnah in das Gebiet der Software- Qualitätssicherung ein und gibt eine Antwort auf die oben gestellten Fragen. Zu Beginn werden die typischen Fehlerquellen der Programmentwicklung erörtert und anschliessend die verschiedenen Methoden und Techniken behandelt, die uns zur Verbesserung der Qualität zur Verfügung stehen. Behandelt werden die zentralen Themenkomplexe aus den Gebieten der konstruktiven und analytischen Qualitätssicherung, der Software-Infrastruktur und der Managementprozesse. Die 2. Auflage wurde durchgehend aktualisiert und korrigiert.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783642356995
Découvrir informations, conseils et prix pour springer berlin open source software vendu 61.9 € , est placé dans la catégorie Bücher & Zeitschriften; ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Das Buch bietet für den deutschsprachigen Bereich erstmals eine wirtschaftliche und technische Betrachtung und Analyse eines immer wichtiger werdenden Modells der Softwareentwicklung und -lizenzierung. Es gibt zunächst eine Übersicht über den deutschen Softwaremarkt, stellt dann die verschiedenen Erscheinungsformen von Open-Source-Software (OSS) dar, beleuchtet die technischen Aspekte der Erstellung und des Einsatzes von OSS und analysiert sowohl die Motivation von Privatpersonen als auch von Unternehmen OSS zu entwickeln und einzusetzen. Insbesondere werden auch die wettbewerbsstrategischen und die betriebswirtschaftlichen Dimensionen dieser sich rasch ausbreitenden Vorgehensweise erörtert. Darauf aufbauend werden die wirtschaftlichen Auswirkungen von OSS auf die deutsche Softwareindustrie sowie wirtschaftspolitische Aspekte von OSS untersucht.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783642620775
Découvrir informations, conseils et prix pour springer berlin software produkt management vendu 68.9 € , est placé dans la catégorie Bücher & Zeitschriften; ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Das Thema Produkt-Management ist in allen Unternehmen von zentraler Bedeutung für den Erfolg und das langfristige Überleben bzw. Erreichen und Halten einer gewissen Marktposition. Allgemeine Bücher über Produkt-Management werden den speziellen Anforderungen und Prozessen in der Software Branche wenig gerecht. Dieses Buch, geschriebenen von erfahrenen Praktikern und Führungskräften mit unterschiedlichem Hintergrund (Hard- und Software-Hersteller, Dienstleister, IT-Consulting, Anwender), beschreibt das Thema Software-Produkt-Management aus verschiedenen Blickwinkeln. Dabei beschränkt sich die Betrachtung nicht auf das reine Produkt-Management von Standard-Software, sondern trägt dem Umstand Rechnung, dass die meisten "Produkte" in diesem Umfeld aus einer komplexen Kombination und Verzahnung von Standard- und Individualsoftware mit Dienstleistungen bestehen.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783642623349
Découvrir informations, conseils et prix pour springer berlin wettbewerbswirkungen von vendu 111 € , est placé dans la catégorie Bücher & Zeitschriften; ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Der Begriff "Open-Source-Software" wurde vor knapp zehn Jahren geprägt und hat inzwischen eine feste Position im IT-Markt erobert. Heute wird Open-Source-Software von praktisch allen im IT-Markt vertretenen Unternehmen entwickelt. In dem vorliegenden Buch werden folgende Fragen erörtert: Wie wirkt sich die zunehmende Verbreitung und Nutzung von Open-Source-Software und offenen Standards auf Wettbewerb aus? Können wirtschaftspolitische Massnahmen die Vorteile eines offenen Wettbewerbs und die Nutzung neuer Innovationspotenziale unterstützen? Es wird ein Beitrag geleistet zum ökonomischen Verständnis der Konzepte von Open-Source-Software und offenen Standards. Theoretische Analyse und wirtschaftspolitische Praxis werden miteinander verbunden. Anhand eines internationalen Vergleichs werden verschiedene nationale Open-Source-Strategien analysiert, bewertet und weiterer Handlungsbedarf angezeigt mit Vorschlägen, wie Wettbewerb auf Softwaremärkten offener gestaltet werden kann.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540714156
Découvrir conseils, opinions et fonctionnalités sur springer berlin software f r vendu 74.9 € , ce produit est placé dans la catégorie Bücher & Zeitschriften, fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Herausgegeben für die Deutsche Forschungsanstalt für Luft- und Raumfahrt, Projektträger "Arbeit und Technik"
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540535591
Découvrir informations, conseils et prix pour springer berlin regelungsstrategien f r vendu 111 € , est placé dans la catégorie Bücher & Zeitschriften; ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Innerhalb der Automobil- und Zulieferindustrie wird heute intensiv an Fahrzeugführungssystemen gearbeitet. Ziel des Werks ist es daher, dem Entwickler den notwendigen regelungstechnischen Hintergrund zugänglich zu machen. Es ist auf dem Stand der neuesten Entwicklungen in der europäischen und amerikanischen Forschung, deren Tendenzen im Überblick wiedergegeben werden. Es werden zum einen die Entwicklung eines Systems zur Abstandsregelung und die hiermit verbundenen Problemstellungen beschrieben. Zum anderen wird die Funktionsweise eines Fahrzeugquerregelungssystems erläutert. Aufbauend auf diesen Verfahren werden Konzepte zur automatischen Durchführung von Spurwechsel- und Überholmanövern vorgestellt.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540675181
Découvrir conseils, opinions et fonctionnalités sur springer berlin regelungsstrategien f r vendu 129 € , ce produit est placé dans la catégorie Bücher & Zeitschriften, fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Innerhalb der Automobil- und Zulieferindustrie wird heute intensiv an Fahrzeugführungssystemen gearbeitet. Ziel des Werks ist es daher, dem Entwickler den notwendigen regelungstechnischen Hintergrund zugänglich zu machen. Es ist auf dem Stand der neuesten Entwicklungen in der europäischen und amerikanischen Forschung, deren Tendenzen im Überblick wiedergegeben werden. Es werden zum einen die Entwicklung eines Systems zur Abstandsregelung und die hiermit verbundenen Problemstellungen beschrieben. Zum anderen wird die Funktionsweise eines Fahrzeugquerregelungssystems erläutert. Aufbauend auf diesen Verfahren werden Konzepte zur automatischen Durchführung von Spurwechsel- und Überholmanövern vorgestellt.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783642631771
Découvrir conseils, opinions et fonctionnalités sur springer berlin automatische sichtpr fung vendu 141 € , ce produit est placé dans la catégorie Bücher & Zeitschriften, fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Das Lehrbuch behandelt systematisch die Bildgewinnung für die automatische Sichtprüfung. Die Autoren leiten die wesentlichen Methoden detailliert ab und stellen alle gängigen Bildgewinnungsverfahren in einem strukturierten Zusammenhang dar. Der zweite Teil des Buches ist der Bildsignalbeschreibung und der Bildauswertung gewidmet, wobei insbesondere Methoden behandelt werden, die für die automatische Sichtprüfung relevant sind. Die Autoren skizzieren die Herleitung der beschriebenen Methoden, ohne sich in mathematischen Details zu verlieren. Ihr Ziel ist, dass der Leser die Zusammenhänge wirklich versteht und das "grosse Bild" des Fachgebietes erkennt. Das Buch ist in sich geschlossen und bedarf zum Verständnis keiner ergänzenden Literatur. Die 2. Auflage wurde gründlich überarbeitet, inhaltlich ergänzt und aktualisiert. Neue Beispiele verdeutlichen den Bezug zur Praxis. Die Zielgruppen Das Buch eignet sich für Studierende der Informatik, Elektro- und Informationstechnik, der Physik und des Maschinenbaus. Ebenso wendet es sich an Ingenieure in der Automatisierungstechnik.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783662477854
Découvrir informations, conseils et prix pour springer berlin automatische identifikation vendu 86.9 € , est placé dans la catégorie Bücher & Zeitschriften; ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
Die Autoren gehen in diesem Buch darauf ein, welche Herausforderungen mit "Industrie 4.0" auf Industriepraktiker zukommen. Wie und mit welchen Zielsetzungen können Entwicklungen in mittelständischen Unternehmen aufgegriffen werden? Die Geräte zur automatischen Identifikation als Teil der Prozesssteuerung und Systemplanung der Intralogistik, zur Einbindung in das Netzwerk im Unternehmen und mit Partnern, sind Kumulationspunkte vieler Probleme in kleinen und mittelständischen Unternehmen. Diesen wird dargelegt wo und wie in den automatisierten Unternehmensbereichen Schritte zur "digitalen" Fabrik bereits vollzogen wurden und wie die Einbindung der betrieblichen Intralogistik in das firmenweite Netzwerk und damit in das ERP-System erfolgen kann.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783662527009
Découvrir informations, conseils et prix pour springer berlin automatische synthese vendu 74.9 € , est placé dans la catégorie Bücher & Zeitschriften; ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa~t werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseproze~ gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle Transformationsregeln sowie Strategien und Heuristiken, die die Beweissuche steuern. Sie werden anhand vieler Beispiele ausf}hrlich diskutiert. Obwohl die hier beschriebene Methode in erster Linie zur Automatisierung von Existenzbeweisen entwickelt worden ist, und der Aspekt der automatischen Softwareentwicklung eher im Hintergrund steht, motivieren zahlreiche Beispiele dazu, das Verfahren auch f}r diesen Zweck einzusetzen.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540553007