Login / Signup

Formal Specification Using Structured Systems Analysis.

Robert B. FranceThomas W. G. Docker
Published in: ESEC (1989)
Keyphrases
  • formal specification
  • real world
  • open source
  • reverse engineering
  • formal methods
  • databases
  • information systems
  • decision making
  • database systems
  • specification language
  • specification languages