Date Seiten

Digitales Hardware/Software-System: Spezifizierung und Verifizierung - Christian Haubelt, Jürgen Teich

Embedded Systems sind zu einem festen Bestandteil unseres Alltags geworden. Diese werden aufgrund ihrer Spezialisierung immer häufiger aus aufeinander abgestimmten Hard- und Softwarekomponenten umgesetzt. Das erfordert ein holistisches Verstehen von Verifikationsproblemen über Hard- und Software-Grenzen hinweg. Dieses Fachbuch bietet eine Einleitung in die Systemverifikation von eingebetteten Systemen, sowohl in speziellen Vorgehensweisen zur Hard- und Softwareverifikation als auch in der Schnittstellenverifikation.

Sämtliche Abläufe sind in einer für Hard- und Softwaresysteme einheitlich dargestellten Schreibweise wiedergegeben. Von der Spezifizierung über die Verifizierung der Funktion bis hin zur Verifizierung des zeitlichen Verhaltens reicht das Spektrum der Aufgaben. Dieser Band vermittelt Studenten der Fachrichtungen Computerwissenschaften, Elektronik, Informatik and Mechanik fundierte Kenntnisse und ist zudem ein nützliches Referenzwerk für Entwickler von Embedded Systemen.

Digitales Hardware/Software-System: Synthetisierung und Verbesserung - Jürgen Teich, Christian Haubelt

Das vorliegende Buch bietet eine Einleitung in die Vorgehensweise beim Systemdesign von eingebetteten Systemen. Diese sind in einen fachlichen Zusammenhang eingebunden und hinsichtlich ihrer Aufgabenstellung, Leistungsfähigkeit, Schnittstelle und Einsatzbereiche aus Gründen der Optimalität speziellisiert. Wesentliche Anwendungsgebiete sind die Automobil- und Konsumelektronik sowie die Kommunikations- und Medizinaltechnik.

Sämtliche Vorgehensweisen sind in einer für Hard- und Softwaresysteme einheitlich formulierten Schreibweise dargestellt, deren wesentliche Bestandteile von der Erstellung bis zur Code-Generierung gehen. Aufgrund der zunehmenden Wichtigkeit von eingebetteten Systemen sammelt dieses Werk unverzichtbares Wissen für Studenten der Fachrichtungen Computerwissenschaften, Elektronik, Informationstechnologie und Mechanik und ist zudem ein nützliches Referenzwerk für Wissenschaftler und Hersteller von eingebetteten Systemen.

Datenbestände: Begriffe und Sprachversionen - Günther Saake, Kai-Uwe Sattler, Andreas Heuer

Datenbestände sind einer der bedeutendsten Bereiche der Computerwissenschaften und dank Big Data, Industry 4.0, Internet of Things & Co. müssen immer mehr Informationen effektiv gemanagt, in Bezug auf Leistung und Output vernünftig ausgewertet werden. Der Band beschäftigt sich gezielt und gründlich mit den wesentlichen Konzepten und Programmiersprachen, die bei der Nutzung von Datenbank-Systemen und der Erstellung von Datenbank-Applikationen eine wichtige Rolle spielten.

Es werden die Grundzüge der relationalen Datenbank erläutert. Darüber hinaus beschäftigen sich die Autorinnen und Autoren mit Theorien, Designmethoden und Sprachkonzepten für Relationen und dem detaillierten Umgang mit SQL. Ein kontinuierliches Beispielprogramm bietet einen nützlichen praktischen Bezug und unterstützt Sie dabei, die zugrunde liegenden Theoriekonzepte besser zu begreifen. Es ist als Lehrwerk für Studenten der Fachrichtung Computerwissenschaften und verwandte Gebiete geeignet, aber auch für Benutzer und Programmierer, die mehr über die aktuellen Datenbanktechnologien erfahren mochten.