Options
Computer Scientist's and Programmer's View on Quantum Algorithms: Mapping Functions' APIs and Inputs to Oracles
Quantum DevOps: Towards reliable and applicable NISQ Quantum Computing
Approaches to automation and interoperability in systems engineering
Model-based testing in legacy software modernization: An experience report
Model-based Method to Utilize a Catalogue of Quality Requirements in Software Development
Advanced Software Engineering
Implementation of the RTP
Modellbasierte Methode zur Ableitung nicht-funktionaler Anforderungen im Kontext der Softwaremodernisierung
Enabling the interoperability of the Modelica DSL and Matlab Simulink towards the development of self-adaptive dynamic systems
High-level design process for NATO high assurance ABAC guard