Header

Shop : Search

Shop
Search
Displaying 1 - 10 of 40 results
Displaying 1 - 10 of 40 results
Displaying 1 - 10 of 40 results
Displaying 1 - 10 of 40 results
978-3-8191-0485-5
eBook
Nils Wild
Interaction-based Integration Testing of Component-based Software Systems

Component-based software systems (CBSSs) enable modular design and reuse, but their integration poses substantial testing challenges. Integration faults ...

Aachener Informatik-Berichte, Software Engineering
Volume: 64
ISBN 978-3-8191-0485-5, English, 208 pages, 41 figures, 26,85 €
February 2026

New publication

978-3-8191-0485-5
Nils Wild
Interaction-based Integration Testing of Component-based Software Systems
Aachener Informatik-Berichte, Software Engineering
Volume: 64
ISBN 978-3-8191-0485-5, English, 208 pages, 41 figures, 26,85 €
February 2026

New publication

Online publication

Also available as a print version

978-3-8191-0533-3
Print version
Nils Wild
Interaction-based Integration Testing of Component-based Software Systems

Component-based software systems (CBSSs) enable modular design and reuse, but their integration poses substantial testing challenges. Integration faults ...

Aachener Informatik-Berichte, Software Engineering
Volume: 64
ISBN 978-3-8191-0533-3, English, Softcover, 208 pages,
24 x 17 cm, 309 g, 41 figures, 35,80 €
February 2026

In preparation

978-3-8191-0533-3
Nils Wild
Interaction-based Integration Testing of Component-based Software Systems
Aachener Informatik-Berichte, Software Engineering
Volume: 64
ISBN 978-3-8191-0533-3, English, Softcover, 208 pages,
24 x 17 cm, 309 g, 41 figures, 35,80 €
February 2026

In preparation

Also available as an online publication

978-3-8440-9984-3
Print version
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber, Lucas Wollenhaupt
Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2

In many applications, the behavior of a component depends on the time when messages are received. To model these in embedded systems, capabilities to ...

Aachener Informatik-Berichte, Software Engineering
Volume: 58
ISBN 978-3-8440-9984-3, English, Softcover, 174 pages,
24 x 17 cm, 346 g, 18 figures, 30,80 €
June 2025

978-3-8440-9984-3
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber, Lucas Wollenhaupt
Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2
Aachener Informatik-Berichte, Software Engineering
Volume: 58
ISBN 978-3-8440-9984-3, English, Softcover, 174 pages,
24 x 17 cm, 346 g, 18 figures, 30,80 €
June 2025

Also available as an online publication

978-3-8191-0062-8
eBook
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber, Lucas Wollenhaupt
Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems

In many applications, the behavior of a component depends on the time when messages are received. To model these in embedded systems, capabilities to ...

Aachener Informatik-Berichte, Software Engineering
Volume: 58
ISBN 978-3-8191-0062-8, English, 174 pages, 18 figures, 23,10 €
June 2025

978-3-8191-0062-8
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber, Lucas Wollenhaupt
Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems
Aachener Informatik-Berichte, Software Engineering
Volume: 58
ISBN 978-3-8191-0062-8, English, 174 pages, 18 figures, 23,10 €
June 2025

Online publication

Also available as a print version

978-3-8440-8960-8
Print version
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
Volume: 54
ISBN 978-3-8440-8960-8, English, Softcover, 338 pages,
24 x 17 cm, 619 g, 62 figures, 39,80 €
February 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
Volume: 54
ISBN 978-3-8440-8960-8, English, Softcover, 338 pages,
24 x 17 cm, 619 g, 62 figures, 39,80 €
February 2023

also available as an online publication

978-3-8440-8936-3
Print version
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
Volume: 53
ISBN 978-3-8440-8936-3, English, Softcover, 340 pages,
24 x 17 cm, 634 g, 129 figures, 39,80 €
February 2023

978-3-8440-8936-3
Arvid Butting
Systematic Composition of Language Components in MontiCore
Aachener Informatik-Berichte, Software Engineering
Volume: 53
ISBN 978-3-8440-8936-3, English, Softcover, 340 pages,
24 x 17 cm, 634 g, 129 figures, 39,80 €
February 2023

also available as an online publication

978-3-8440-8845-8
Print version
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
Volume: 52
ISBN 978-3-8440-8845-8, German, Softcover, 290 pages,
24 x 17 cm, 539 g, 102 figures, 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
Volume: 52
ISBN 978-3-8440-8845-8, German, Softcover, 290 pages,
24 x 17 cm, 539 g, 102 figures, 35,80 €
November 2022

also available as an online publication

978-3-8440-8427-6
Print version
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
Volume: 51
ISBN 978-3-8440-8427-6, German, Softcover, 338 pages,
24 x 17 cm, 503 g, 80 figures, 39,80 €
March 2022

978-3-8440-8427-6
Stefan Kühnel
Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen
Aachener Informatik-Berichte, Software Engineering
Volume: 51
ISBN 978-3-8440-8427-6, German, Softcover, 338 pages,
24 x 17 cm, 503 g, 80 figures, 39,80 €
March 2022

also available as an online publication

978-3-8440-8345-3
Print version
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
Volume: 50
ISBN 978-3-8440-8345-3, English, Softcover, 370 pages,
24 x 17 cm, 555 g, 181 figures, 39,80 €
December 2021

978-3-8440-8345-3
Andreas Wortmann
Model-Driven Architecture and Behavior of Cyber-Physical Systems
Aachener Informatik-Berichte, Software Engineering
Volume: 50
ISBN 978-3-8440-8345-3, English, Softcover, 370 pages,
24 x 17 cm, 555 g, 181 figures, 39,80 €
December 2021

also available as an online publication

978-3-8440-8286-9
Print version
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
Volume: 49
ISBN 978-3-8440-8286-9, English, Softcover, 342 pages,
24 x 17 cm, 510 g, 101 figures, 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
Volume: 49
ISBN 978-3-8440-8286-9, English, Softcover, 342 pages,
24 x 17 cm, 510 g, 101 figures, 39,80 €
November 2021

also available as an online publication

Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
  +49 2421 99011 9
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
Captcha
Social Media