Angebote zu "Formal" (13 Treffer)

Formal Systems Specification
107,00 € *
ggf. zzgl. Versand

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

Anbieter: buch.de
Stand: 07.05.2017
Zum Angebot
Formal Systems Specification
107,00 € *
ggf. zzgl. Versand

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

Anbieter: Bol.de
Stand: 13.03.2017
Zum Angebot
Formal Methods for Industrial Applications
112,30 € *
ggf. zzgl. Versand

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

Anbieter: buch.de
Stand: 07.05.2017
Zum Angebot
Formal Methods for Industrial Applications
112,30 € *
ggf. zzgl. Versand

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot
Angewandte Informatik und Formale Beschreibungs...
49,95 € *
ggf. zzgl. Versand

Festschrift zum 60. Geburtstag von Wolffried Stucky Teubner Texte zur Informatik. 1999. Auflage

Anbieter: eBook.de
Stand: 18.12.2016
Zum Angebot
System Configuration Management
74,90 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 8th International Symposium on System Configuration Management, SCM-8, held in conjunction with ECOOP´98 in Brussels, Belgium, in July 1998. The volume presents 17 revised full papers carefully reviewed and selected for presentation; also included is a tutorial lecture; approximately half of the papers come from industry. The book is divided into sections on industrial experience, experimental systems, product data management and system configuration management, formal approaches, cooperative systems, and Web-based applications.

Anbieter: buch.de
Stand: 07.05.2017
Zum Angebot
System Configuration Management
74,90 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 8th International Symposium on System Configuration Management, SCM-8, held in conjunction with ECOOP´98 in Brussels, Belgium, in July 1998. The volume presents 17 revised full papers carefully reviewed and selected for presentation; also included is a tutorial lecture; approximately half of the papers come from industry. The book is divided into sections on industrial experience, experimental systems, product data management and system configuration management, formal approaches, cooperative systems, and Web-based applications.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot
Petri Nets for Systems Engineering
128,40 € *
ggf. zzgl. Versand

Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems. The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

Anbieter: buch.de
Stand: 07.05.2017
Zum Angebot
Petri Nets for Systems Engineering
128,40 € *
ggf. zzgl. Versand

Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems. The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot
HF: Kognitive Benutzermodelle in der Systemgest...
68,00 € *
ggf. zzgl. Versand

In diesem Buch wird gezeigt, in welcher Art und Weise Simulationsdaten kognitiver Benutzermodelle für die Bewertung von Mensch-Maschine-Systemen in frühen Phasen der Systementwicklung analysiert und angewendet werden können. Dabei liegt der Fokus auf simulierten Blickbewegungsdaten der kognitiven Architektur ACT-R (Atomic Components of Thought Rational) und Blickbewegungen des Menschen für fertigkeits- und regelbasierte Tätigkeiten. Für die effiziente und effektive Verarbeitung und die vergleichende Analyse von simulierten und empirisch erhobenen Daten wird das Werkzeug SimTrA (Simulation Trace Analyzer) anhand einer experimentellen Evaluationsstudie vorgestellt. SimTrA gibt dem Entwickler ein Methodenrepertoire an die Hand, um Schnittstellen bereits in frühen Phasen der Systementwicklung formal und computerbasiert auf Basis von Simulationsdaten zu bewerten. Die Ergebnisse belegen, dass kognitive Benutzermodelle unter bestimmten Bedingungen mit empirischen Daten vergleichbare Aussagen ermöglichen und in frühen Systementwicklungsphasen angewendet werden können, um die Bewertung von Mensch-Maschine-Systemen zu unterstützen.

Anbieter: buch.de
Stand: 01.04.2017
Zum Angebot