Flexible Correct-by-Construction Programming.
Tobias RungeTabea BordisAlex PotaninThomas ThümIna SchaeferPublished in: Log. Methods Comput. Sci. (2023)
Keyphrases
- construction process
- three dimensional
- programming language
- lightweight
- programming environment
- computer programming
- development environment
- high level language
- database
- construction industry
- object oriented programming
- artificial neural networks
- database systems
- image segmentation
- metadata
- decision making
- information retrieval