Login / Signup

Generation and Consistency Checking of Design and Program Structures.

Zavdi L. Lichtman
Published in: IEEE Trans. Software Eng. (1986)
Keyphrases
  • consistency checking
  • case study
  • high level
  • control program
  • decision making
  • building blocks
  • constraint satisfaction problems
  • design process
  • database applications