Login / Signup

Domain Analysis and Description Principles, Techniques, and Modelling Languages.

Dines Bjørner
Published in: ACM Trans. Softw. Eng. Methodol. (2019)
Keyphrases
  • statistical analysis
  • neural network
  • expressive power
  • structural analysis
  • multi agent
  • real time
  • databases
  • genetic algorithm
  • image processing
  • high level
  • user interface
  • domain independent