Login / Signup

Automated Identification of LTL Patterns in Natural Language Requirements.

Allen P. NikoraGalen Balcom
Published in: ISSRE (2009)
Keyphrases
  • natural language
  • model checking
  • semi automated
  • knowledge representation
  • context sensitive
  • language processing
  • database
  • genetic algorithm
  • social networks
  • computer aided
  • automatic identification
  • automated analysis