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