VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.
Tabea BordisMaximilian KodetzkiTobias RungeIna SchaeferPublished in: SEFM Workshops (2022)
Keyphrases
- software product line
- object oriented
- software engineering
- goal driven
- product line
- learning methodologies
- relational databases
- future directions
- life cycle
- object oriented databases
- data model
- database applications
- adult literacy
- database design
- machine learning
- databases
- software development
- programming language
- query language
- teaching learning
- learning systems
- online learning
- database systems
- database