Login / Signup

On the Use of Algebraic Methods for Formal Requirements Definitions.

Helmuth Partsch
Published in: Requirements Engineering (1983)
Keyphrases
  • preprocessing
  • database systems
  • computational cost
  • significant improvement
  • machine learning methods
  • neural network
  • genetic algorithm
  • search algorithm
  • object recognition
  • image retrieval
  • search methods