Header

Shop : Reihenübersicht

Shop
Reihenübersicht
Aachener Informatik-Berichte, Software Engineering
Herausgeber

Prof. Dr. rer. nat. Bernhard Rumpe
Aachen
Aachener Informatik-Berichte, Software Engineering
Herausgeber

Prof. Dr. rer. nat. Bernhard Rumpe
Aachen
Anzeige 1 - 10 von 54 Treffer
Anzeige 1 - 10 von 54 Treffer
Anzeige 1 - 10 von 54 Treffer
Anzeige 1 - 10 von 54 Treffer
Jörg Christian Kirchhof
Model-Driven Development, Deployment, and Analysis of Internet of Things Applications

The Internet of Things (IoT) connects everyday objects with each other and with the Internet. IoT applications are complex to develop. Model-driven methods ...

Aachener Informatik-Berichte, Software Engineering
Band: 54
ISBN 978-3-8440-8960-8, Englisch, Paperback, 338 Seiten,
24 x 17 cm, 619 g, 62 Abbildungen, 39,80 €
Februar 2023

978-3-8440-8960-8
Jörg Christian Kirchhof
Model-Driven Development, Deployment, and Analysis of Internet of Things Applications
Aachener Informatik-Berichte, Software Engineering
Band: 54
ISBN 978-3-8440-8960-8, Englisch, Paperback, 338 Seiten,
24 x 17 cm, 619 g, 62 Abbildungen, 39,80 €
Februar 2023

auch als Online-Publikation verfügbar

Arvid Butting
Systematic Composition of Language Components in MontiCore

In model-driven development (MDD), models are central software engineering artifacts. MDD is applied to various domains in which the domain engineers ...

Aachener Informatik-Berichte, Software Engineering
Band: 53
ISBN 978-3-8440-8936-3, Englisch, Paperback, 340 Seiten,
24 x 17 cm, 634 g, 129 Abbildungen, 39,80 €
Februar 2023

978-3-8440-8936-3
Arvid Butting
Systematic Composition of Language Components in MontiCore
Aachener Informatik-Berichte, Software Engineering
Band: 53
ISBN 978-3-8440-8936-3, Englisch, Paperback, 340 Seiten,
24 x 17 cm, 634 g, 129 Abbildungen, 39,80 €
Februar 2023

auch als Online-Publikation verfügbar

Matthias Markthaler
Modellbasierte Methode für die automatisierte Testfallerstellung in der Automobilindustrie auf der Grundlage eines durchgängigen Systems Engineering Ansatzes

Die heutige und zukünftige Komplexität in großen Cyber-Physischen Systemen ist ohne systematische und digitalisierte Herangehensweisen kaum noch beherrschbar. ...

Aachener Informatik-Berichte, Software Engineering
Band: 52
ISBN 978-3-8440-8845-8, Deutsch, Paperback, 290 Seiten,
24 x 17 cm, 539 g, 102 Abbildungen, 35,80 €
November 2022

978-3-8440-8845-8
Matthias Markthaler
Modellbasierte Methode für die automatisierte Testfallerstellung in der Automobilindustrie auf der Grundlage eines durchgängigen Systems Engineering Ansatzes
Aachener Informatik-Berichte, Software Engineering
Band: 52
ISBN 978-3-8440-8845-8, Deutsch, Paperback, 290 Seiten,
24 x 17 cm, 539 g, 102 Abbildungen, 35,80 €
November 2022

auch als Online-Publikation verfügbar

Stefan Kühnel
Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen

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

Aachener Informatik-Berichte, Software Engineering
Band: 51
ISBN 978-3-8440-8427-6, Deutsch, Paperback, 338 Seiten,
24 x 17 cm, 503 g, 80 Abbildungen, 39,80 €
März 2022

978-3-8440-8427-6
Stefan Kühnel
Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen
Aachener Informatik-Berichte, Software Engineering
Band: 51
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

Andreas Wortmann
Model-Driven Architecture and Behavior of Cyber-Physical Systems

Systems engineering has produced striking results in many domains. Researchers and practitioners have devised concepts, methods, tools that autonomously ...

Aachener Informatik-Berichte, Software Engineering
Band: 50
ISBN 978-3-8440-8345-3, Englisch, Paperback, 370 Seiten,
24 x 17 cm, 555 g, 181 Abbildungen, 39,80 €
Dezember 2021

978-3-8440-8345-3
Andreas Wortmann
Model-Driven Architecture and Behavior of Cyber-Physical Systems
Aachener Informatik-Berichte, Software Engineering
Band: 50
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

Evgeny Kusmenko
Model-Driven Development Methodology and Domain-Specific Languages for the Design of Artificial Intelligence in Cyber-Physical Systems

The development of cyber-physical systems poses a multitude of challenges requiring experts from different fields. Such systems cannot be developed successfully ...

Aachener Informatik-Berichte, Software Engineering
Band: 49
ISBN 978-3-8440-8286-9, Englisch, Paperback, 342 Seiten,
24 x 17 cm, 510 g, 101 Abbildungen, 39,80 €
November 2021

978-3-8440-8286-9
Evgeny Kusmenko
Model-Driven Development Methodology and Domain-Specific Languages for the Design of Artificial Intelligence in Cyber-Physical Systems
Aachener Informatik-Berichte, Software Engineering
Band: 49
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

Bernhard Rumpe, Katrin Hölldobler, Oliver Kautz
MontiCore Language Workbench and Library Handbook
Edition 2021

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

MontiCore allows ...

Aachener Informatik-Berichte, Software Engineering
Band: 48
ISBN 978-3-8440-8010-0, Englisch, Paperback, 497 Seiten,
24 x 17 cm, 912 g, 321 Abbildungen, 39,80 €
Mai 2021

978-3-8440-8010-0
Bernhard Rumpe, Katrin Hölldobler, Oliver Kautz
MontiCore Language Workbench and Library Handbook
Edition 2021
Aachener Informatik-Berichte, Software Engineering
Band: 48
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

Konrad Anton Fögen
Combinatorial Robustness Testing based on Error-Constraints

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 ...

Aachener Informatik-Berichte, Software Engineering
Band: 47
ISBN 978-3-8440-7929-6, Englisch, Paperback, 434 Seiten,
24 x 17 cm, 647 g, 24 Abbildungen, 39,80 €
April 2021

978-3-8440-7929-6
Konrad Anton Fögen
Combinatorial Robustness Testing based on Error-Constraints
Aachener Informatik-Berichte, Software Engineering
Band: 47
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

Oliver Kautz
Model Analyses Based on Semantic Differencing and Automatic Model Repair

Models are the primary development artifacts used in model-driven software development. Models continuously evolve during the design, development, and ...

Aachener Informatik-Berichte, Software Engineering
Band: 46
ISBN 978-3-8440-7926-5, Englisch, Paperback, 374 Seiten,
24 x 17 cm, 557 g, 122 Abbildungen, 39,80 €
April 2021

978-3-8440-7926-5
Oliver Kautz
Model Analyses Based on Semantic Differencing and Automatic Model Repair
Aachener Informatik-Berichte, Software Engineering
Band: 46
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

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

This report describes a specification and verification framework for distributed interactive systems. The framework encodes the untimed part of the formal ...

Aachener Informatik-Berichte, Software Engineering
Band: 45
ISBN 978-3-8440-7265-5, Englisch, Paperback, 262 Seiten,
24 x 17 cm, 390 g, 35,80 €
März 2020

978-3-8440-7265-5
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
Aachener Informatik-Berichte, Software Engineering
Band: 45
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

Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
  +49 2421 99011 9
Mo. - Do. 8:00 Uhr bis 16:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
Social Media