ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking.

Nesredin Mahmud Cristina Seceleanu Oscar Ljungkrantz

Published in: FedCSIS (2016)

Keyphrases

consistency checking
requirements specification
query answering
temporal constraints
requirements engineering
databases
database
real world
knowledge base
np hard
software engineering
constraint satisfaction problems
software systems
heuristic search
specification language
path consistency