Towards a Unified View of Modeling and Programming.

Manfred Broy Klaus Havelund Rahul Kumar

Published in: ISoLA (2) (2016)

Keyphrases

neural network
programming language
information systems
metadata
image segmentation
search algorithm
high level language