Zum Inhalt springen

  1. Nieke, Michael [VerfasserIn] ; Schaefer, Ina [AkademischeR BetreuerIn]; Rumpe, Bernhard [AkademischeR BetreuerIn]

    Consistent Feature-Model Driven Software Product Line Evolution

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig: Technische Universität Braunschweig, 2021

  2. Nieke, Michael [VerfasserIn] ; Schaefer, Ina [AkademischeR BetreuerIn]; Rumpe, Bernhard [AkademischeR BetreuerIn] Technische Universität Braunschweig

    Consistent feature-model driven software product line evolution

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig: Technische Universität Braunschweig, 2021

  3. Arens, Rahel [VerfasserIn] ; Schaefer, Ina [AkademischeR BetreuerIn]; Nieke, Michael [AkademischeR BetreuerIn]; Thüm, Thomas [AkademischeR BetreuerIn]

    Incremental Construction of Modal Implication Graphs for Feature-Model Evolution : Bachelor's Thesis

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig: Institut für Softwaretechnik und Fahrzeuginformatik, 2021

  4. Arens, Rahel [VerfasserIn] ; Schaefer, Ina [MitwirkendeR]; Nieke, Michael [MitwirkendeR]; Thüm, Thomas [MitwirkendeR]

    Incremental Construction of Modal Implication Graphs for Feature-Model Evolution: Bachelor's Thesis ; Inkrementelle Konstruktion von Madl Implication Graphs für Feature Model Evolution

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institut für Softwaretechnik und Fahrzeuginformatik, 2021

  5. Sundermann, Chico [VerfasserIn] ; Schaefer, Ina [MitwirkendeR]; Nieke, Michael [MitwirkendeR]; Thüm, Thomas [MitwirkendeR]

    Applications of #SAT Solvers for Product Lines: Master's Thesis ; Anwendungen von #SAT Solvern für Produktlinien: Masterarbeit

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institut für Softwaretechnik und Fahrzeuginformatik, 2020

  6. Sundermann, Chico [VerfasserIn] ; Schaefer, Ina [AkademischeR BetreuerIn]; Nieke, Michael [AkademischeR BetreuerIn]; Thüm, Thomas [AkademischeR BetreuerIn]

    Applications of #SAT Solvers for Product Lines : Master's Thesis

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig: Institut für Softwaretechnik und Fahrzeuginformatik, 2020

  8. Kirchhof, Jörg Christian [VerfasserIn]; Nieke, Michael [VerfasserIn]; Schaefer, Ina [VerfasserIn]; Schmalzing, David Pascal [VerfasserIn]; Schulze, Michael [VerfasserIn]

    Variant and Product Line Co-Evolution

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2020

  9. Sundermann, Chico [VerfasserIn]; Heß, Tobias [VerfasserIn]; Nieke, Michael [VerfasserIn]; Bittner, Paul Maximilian [VerfasserIn]; Young, Jeffrey M. [VerfasserIn]; Thüm, Thomas [VerfasserIn]; Schaefer, Ina [VerfasserIn]

    Evaluating state-of-the-art #SAT solvers on industrial configuration spaces

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Universität Ulm, 2023-01-13

  10. Nguyen-Ngoc, Anh [VerfasserIn]; Lange, Stanislav [VerfasserIn]; Zinner, Thomas [VerfasserIn]; Seufert, Michael [VerfasserIn]; Tran-Gia, Phuoc [VerfasserIn]; Aerts, Nieke [VerfasserIn]; Hock, David [VerfasserIn]

    Performance evaluation of selective flow monitoring in the ONOS controller

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Augsburg University Publication Server (OPUS), 2017

  15. Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Yu, Ingrid Chieh

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: User Profiles for Context-Aware Reconfiguration in Software Product Lines

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

  16. Holthusen, Sönke; Nieke, Michael; Thüm, Thomas; Schaefer, Ina

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: Proof-Carrying Apps: Contract-Based Deployment-Time Verification

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques