F
Formal Semantics

  • Any
  • Blade
  • C
  • C#
  • C++
  • CMake
  • CSS
  • Dockerfile
  • Go
  • HCL
  • HTML
  • Java
  • JavaScript
  • Jupyter Notebook
  • Kotlin
  • Makefile
  • Objective-C
  • PHP
  • Python
  • Ruby
  • SCSS
  • Shell
  • Swift
  • TSX
  • TypeScript
  • Vue

Projects with this topic

Sort by:
  • Sort by
  • Updated date
  • Name
  • Name, descending
  • Oldest updated
  • Oldest created
  • Last created
  • Most stars
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • View Consistent Feature Model Evolution Plans project
    C

    Adrian Hoff / Consistent Feature Model Evolution Plans

    Online Appendix for SPLC'20 submission "Consistency-Preserving Evolution Planning on Feature Models" by A. Hoff, M. Nieke, C. Seidl, E. H. Sæther, I. S. Motzfeldt, C. Chang Din, I. Chieh Yu, and I. Schaefer.

    Software Pro... Software Evo... Feature Models Feature Mode... Formal Seman... Rewriting logic Structural O... Linear Tempo...
    0
    Updated Aug 15, 2020
    0 0 0 0
    Updated Aug 15, 2020