Login / Signup
Automated Identification of LTL Patterns in Natural Language Requirements.
Allen P. Nikora
Galen 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