Angebote zu "Systems" (166 Treffer)

Linux in eingebetteten Systemen
8,99 € *
ggf. zzgl. Versand

Linux in eingebetteten Systemen

Anbieter: Thalia.de
Stand: 19.04.2017
Zum Angebot
Linux in eingebetteten Systemen
8,99 € *
ggf. zzgl. Versand

Linux in eingebetteten Systemen

Anbieter: buch.de
Stand: 27.03.2017
Zum Angebot
Linux in eingebetteten Systemen
8,99 € *
ggf. zzgl. Versand

Linux in eingebetteten Systemen

Anbieter: Bol.de
Stand: 13.03.2017
Zum Angebot
Kunz, Jürgen: Vererbung für Systementwickler
54,99 € *
ggf. zzgl. Versand

Grundlagen und Anwendungen. 1995. Auflage

Anbieter: eBook.de
Stand: 18.12.2016
Zum Angebot
Petri Nets for Systems Engineering
117,99 € *
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: Thalia.de
Stand: 19.04.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: 15.04.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
Karl-Heinz Rau: Objektorientierte Systementwick...
32,99 € *
ggf. zzgl. Versand

Vom Geschäftsprozess zum Java-Programm

Anbieter: eBook.de
Stand: 09.04.2017
Zum Angebot
Entwicklung von Data-Warehouse-Systemen
22,99 € *
ggf. zzgl. Versand

Matthias Goeken setzt sich mit der Entwicklung von Data-Warehouse-Systemen, und vor allem mit den frühen Phasen des Entwicklungsprozesses, auseinander. Er analysiert Phasenmodelle der Anwendungsentwicklung, Techniken und Aufgaben des Anforderungsmanagements sowie die Modellierung multidimensionaler Datenstrukturen. Auf dieser Grundlage entwirft er eine eigene Methode zur Entwicklung von Data-Warehouse-Systemen, die ein detailliertes Phasenmodell mit Aktivitäten, Techniken und Entwicklungsergebnissen umfasst, um den Anforderungen verschiedener Benutzergruppen gerecht zu werden.

Anbieter: Thalia.de
Stand: 19.04.2017
Zum Angebot
Entwicklung von Data-Warehouse-Systemen
22,99 € *
ggf. zzgl. Versand

Matthias Goeken setzt sich mit der Entwicklung von Data-Warehouse-Systemen, und vor allem mit den frühen Phasen des Entwicklungsprozesses, auseinander. Er analysiert Phasenmodelle der Anwendungsentwicklung, Techniken und Aufgaben des Anforderungsmanagements sowie die Modellierung multidimensionaler Datenstrukturen. Auf dieser Grundlage entwirft er eine eigene Methode zur Entwicklung von Data-Warehouse-Systemen, die ein detailliertes Phasenmodell mit Aktivitäten, Techniken und Entwicklungsergebnissen umfasst, um den Anforderungen verschiedener Benutzergruppen gerecht zu werden.

Anbieter: buch.de
Stand: 01.04.2017
Zum Angebot