DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy.

José Serna Nancy A. Day Sabria Farheen

Published in: RE Workshops (2017)

Keyphrases

declarative language
higher level
language learning
theorem proving
real time
database systems
natural language
relational databases
knowledge representation
programming language
deductive databases