Sign in

A Logic-Model Semantics for SCR Software Requirements.

Joanne M. AtleeMichael 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