• Home
  • Über uns
  • Publizieren
  • Katalog
  • Newsletter
  • Hilfe
  • Account
  • Kontakt / Impressum
Dissertation - Publikationsreihe - Tagungsband - Fachbuch - Vorlesungsskript/Lehrbuch - Zeitschrift - CD-/DVD-ROM - Online Publikation
Suche im Gesamtkatalog - Rezensionen - Lizenzen
Newsletter für Autoren und Herausgeber - Neuerscheinungsservice - Archiv
Warenkorb ansehen
Katalog : Suche

Es wurden folgende 36 Titel von Stefan Kühnel gefunden.

Treffer: 36 Seite 1 von 4
 #TitelPreis
mehr... 1. Stefan Kühnel
Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen
Band: 51
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-8427-6, Deutsch, Paperback, 338 Seiten, 24 x 17 cm, 503 g, 80 Abbildungen, 39,80 €
März 2022

auch als Online-Publikation verfügbar

Kontext: Neben dem aktuellen Bestreben die Elektrizierung des Antriebs von Automobilen durch Innovationen voranzutreiben kommt der Integration von Fahrerassistenzsystemen im Rahmen der Automobilentwicklung ...


mehr ...
39,80 €
 #TitelPreis
mehr... 2. Andreas Wortmann
Model-Driven Architecture and Behavior of Cyber-Physical Systems
Band: 50
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-8345-3, Englisch, Paperback, 370 Seiten, 24 x 17 cm, 555 g, 181 Abbildungen, 39,80 €
Dezember 2021

auch als Online-Publikation verfügbar

Systems engineering has produced striking results in many domains. Researchers and practitioners have devised concepts, methods, tools that autonomously move vehicles, enable doctors to conduct remote ...


mehr ...
39,80 €
 #TitelPreis
mehr... 3. Evgeny Kusmenko
Model-Driven Development Methodology and Domain-Specific Languages for the Design of Artificial Intelligence in Cyber-Physical Systems
Band: 49
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-8286-9, Englisch, Paperback, 342 Seiten, 24 x 17 cm, 510 g, 101 Abbildungen, 39,80 €
November 2021

auch als Online-Publikation verfügbar

The development of cyber-physical systems poses a multitude of challenges requiring experts from different fields. Such systems cannot be developed successfully without the support of appropriate processes, ...


mehr ...
39,80 €
 #TitelPreis
mehr... 4. Bernhard Rumpe, Katrin Hölldobler, Oliver Kautz
MontiCore Language Workbench and Library Handbook
Edition 2021
Band: 48
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-8010-0, Englisch, Paperback, 497 Seiten, 24 x 17 cm, 912 g, 321 Abbildungen, 39,80 €
Mai 2021

auch als Online-Publikation verfügbar

This handbook for the language workbench MontiCore describes how to efficiently develop tools that deal with language processing.

MontiCore allows specifying tooling for processing models of ...


mehr ...
39,80 €
 #TitelPreis
mehr... 5. Konrad Anton Fögen
Combinatorial Robustness Testing based on Error-Constraints
Band: 47
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-7929-6, Englisch, Paperback, 434 Seiten, 24 x 17 cm, 647 g, 24 Abbildungen, 39,80 €
April 2021

auch als Online-Publikation verfügbar

Robustness is an important property of a software, which must be tested in addition to a software's functionality. This requires invalid values and invalid value combinations to be able to observe a software's ...


mehr ...
39,80 €
 #TitelPreis
mehr... 6. Oliver Kautz
Model Analyses Based on Semantic Differencing and Automatic Model Repair
Band: 46
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-7926-5, Englisch, Paperback, 374 Seiten, 24 x 17 cm, 557 g, 122 Abbildungen, 39,80 €
April 2021

auch als Online-Publikation verfügbar

Models are the primary development artifacts used in model-driven software development. Models continuously evolve during the design, development, and maintenance of software systems. Thus, model differencing ...


mehr ...
39,80 €
 #TitelPreis
mehr... 7. Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Prof. Dr. rer. nat. Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla
Towards an Isabelle Theory for distributed, interactive systems
The untimed case
Band: 45
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-7265-5, Englisch, Paperback, 262 Seiten, 24 x 17 cm, 390 g, 35,80 €
März 2020

auch als Online-Publikation verfügbar

This report describes a specification and verification framework for distributed interactive systems. The framework encodes the untimed part of the formal methodology FOCUS in the proof assistant Isabelle ...


mehr ...
35,80 €
 #TitelPreis
mehr... 8. Michael von Wenckstern
Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems
Band: 44
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-7239-6, Englisch, Paperback, 470 Seiten, 24 x 17 cm, 701 g, 245 Abbildungen, 39,80 €
März 2020

auch als Online-Publikation verfügbar

The industry area of embedded and cyber-physical systems is one of the largest; examples are: automotive, avionics, robotics, railway, and production industry.

Model-based engineering, esp. component ...


mehr ...
39,80 €
 #TitelPreis
mehr... 9. Simon Hacks
Improving the Quality of Enterprise Architecture Models
-Processes and Techniques-
Band: 43
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-6977-8, Englisch, Paperback, 214 Seiten, 24 x 17 cm, 318 g, 47 Abbildungen, 35,80 €
Oktober 2019

auch als Online-Publikation verfügbar

Information technology (IT) pervades organizations more and more and becomes increasingly important for their business models. It has evolved from a purely supportive role to an important strategic pillar ...


mehr ...
35,80 €
 #TitelPreis
mehr... 10. Timo Greifenberg
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Band: 42
Reihe: Aachener Informatik-Berichte, Software Engineering
ISBN 978-3-8440-6879-5, Deutsch, Paperback, 354 Seiten, 24,0 x 17,0 cm, 662 g, 57 Abbildungen, 39,80 €
August 2019

auch als Online-Publikation verfügbar

Durch den Einsatz von Modellen lässt sich bei der modellgetriebenen Softwareentwicklung (engl. Model-Driven Development (MDD)) zum einen die Komplexität des zu entwickelnden Softwareprodukts beherrschen ...


mehr ...
39,80 €
<<< <<  | 
1  | 
 | 
 | 
 |  ...

zurück zum Katalog »