The ucsCNL: A Controlled Natural Language for Use Case Specifications.

Flávia A. Barros Lais Neves Erica Hori Dante Torres

Published in: SEKE (2011)

Keyphrases

class diagram
delay insensitive
formal specification
artificial intelligence
high level
data sets
asynchronous circuits
formal language
functional requirements
data mining
real time
natural language
control flow
search algorithm
concurrent systems
databases
bounded model checking