filmov
tv
Correctness-by-Construction for Feature-Oriented Software Product Lines
Показать описание
Hey, my name is Tabea Bordis and I'm a PhD student at TU Braunschweig. Together with my colleague Tobias Runge and my supervisor Ina Schaefer, I have a paper at GPCE 2020 about creating provably correct software product lines using correctness-by-construction.
Correctness-by-Construction for Feature-Oriented Software Product Lines
Presented at GPCE 2020 - 19th International Conference on Generative Programming: Concepts & Experiences, part of SPLASH 2020
By Tabea Bordis, Tobias Runge, Ina Schaefer
Correctness-by-Construction for Feature-Oriented Software Product Lines
Presented at GPCE 2020 - 19th International Conference on Generative Programming: Concepts & Experiences, part of SPLASH 2020
By Tabea Bordis, Tobias Runge, Ina Schaefer
0:15:19
1:01:21
0:51:47
2:54:32
![[Коллоквиум]: Correctness-by-Construction for](https://i.ytimg.com/vi/vQVd7a15imI/hqdefault.jpg)
1:28:47
0:44:49
0:05:22
0:49:32
0:03:04
0:06:34
0:05:02
0:08:01
0:34:04
0:10:17
0:58:38
1:01:09
2:56:54
0:53:16
0:05:12
0:04:12
0:10:34
0:09:27
0:03:03
0:09:11