Debugging Logic-Based Requirements Specifications - a FRORL Approach.

Jeffrey J. P. Tsai Alan Liu Krishnakumar R. Nair

Published in: SEKE (1993)

Keyphrases

functional requirements
written in natural language
knowledge representation
general purpose
execution traces
high level
software architecture
design requirements
learning algorithm
information systems
formal specification
software requirements
requirements specification