| Aantal titels: 4 | Pagina 1 van 1 |
| # | Titel | Prijs | |
|---|---|---|---|
| 1. | nieuw Sebastian Stüber Formal Software Engineering of Distributed Systems using Focus-Streams and Automata Volume: 63 Reeks: Aachener Informatik-Berichte, Software Engineering 978-3-8191-0472-5, Januari 2026 Online-Publicatie (PDF) The increasing complexity of software systems, particularly in distributed environments, necessitates verification methods to ensure correctness and reliability. This dissertation addresses the research ... meer ... | 39,80 € | |
| # | Titel | Prijs | |
| 2. | nieuw Sebastian Stüber Formal Software Engineering of Distributed Systems using Focus-Streams and Automata Volume: 63 Reeks: Aachener Informatik-Berichte, Software Engineering 978-3-8191-0514-2, Januari 2026 The increasing complexity of software systems, particularly in distributed environments, necessitates verification methods to ensure correctness and reliability. This dissertation addresses the research ... meer ... | 39,80 € | |
| # | Titel | Prijs | |
| 3. | nieuw Achim Lindt Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung Volume: 62 Reeks: Aachener Informatik-Berichte, Software Engineering 978-3-8191-0366-7, December 2025 Modellgetriebene Softwareentwicklung nutzt abstrakte Modelle als zentrale Artefakte, doch Konzepte zur Modularisierung und Wiederverwendung fehlen weitgehend. Diese Dissertation stellt einen formal fundierten ... meer ... | 39,80 € | |
| # | Titel | Prijs | |
| 4. | nieuw Achim Lindt Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung Volume: 62 Reeks: Aachener Informatik-Berichte, Software Engineering 978-3-8191-0427-5, December 2025 Online-Publicatie (PDF) Modellgetriebene Softwareentwicklung nutzt abstrakte Modelle als zentrale Artefakte, doch Konzepte zur Modularisierung und Wiederverwendung fehlen weitgehend. Diese Dissertation stellt einen formal fundierten ... meer ... | 39,80 € |
|