Aachener Informatik-Berichte, Software EngineeringHerausgeber |
Treffer: 54 | Seite 1 von 6 |
# | Titel | Preis | |
---|---|---|---|
1. | Jörg Christian Kirchhof Model-Driven Development, Deployment, and Analysis of Internet of Things Applications Band: 54 Reihe: Aachener Informatik-Berichte, Software Engineering 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 The Internet of Things (IoT) connects everyday objects with each other and with the Internet. IoT applications are complex to develop. Model-driven methods promise to make the complex development of IoT ... mehr ... | 39,80 € | |
# | Titel | Preis | |
2. | Arvid Butting Systematic Composition of Language Components in MontiCore Band: 53 Reihe: Aachener Informatik-Berichte, Software Engineering 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 In model-driven development (MDD), models are central software engineering artifacts. MDD is applied to various domains in which the domain engineers are not always software engineers. To this end, modelers ... mehr ... | 39,80 € | |
# | Titel | Preis | |
3. | Matthias Markthaler Modellbasierte Methode für die automatisierte Testfallerstellung in der Automobilindustrie auf der Grundlage eines durchgängigen Systems Engineering Ansatzes Band: 52 Reihe: Aachener Informatik-Berichte, Software Engineering 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 Die heutige und zukünftige Komplexität in großen Cyber-Physischen Systemen ist ohne systematische und digitalisierte Herangehensweisen kaum noch beherrschbar. Ein aktuelles Paradebeispiel solcher Cyber-Physischen ... mehr ... | 35,80 € | |
# | Titel | Preis | |
4. | 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 € | |
# | Titel | Preis | |
5. | 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 € | |
# | Titel | Preis | |
6. | 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 € | |
# | Titel | Preis | |
7. | 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.
| 39,80 € | |
# | Titel | Preis | |
8. | 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 € | |
# | Titel | Preis | |
9. | 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 € | |
# | Titel | Preis | |
10. | 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 € |
|