Login / Signup

Synthesizing Structured Analysis and Object-Based Formal Specifications.

David L. ColemanAlbert L. Baker
Published in: Ann. Softw. Eng. (1997)
Keyphrases
  • formal specification
  • real world
  • statistical analysis
  • database
  • knowledge base