A Logic-Model Semantics for SCR Software Requirements.

Joanne M. Atlee Michael A. Buckley

Published in: ISSTA (1996)

Keyphrases

probabilistic model
databases
database
conceptual model
metamodel
real world
open source
knowledge based systems
process model
systems development
sound and complete axiomatization