Guiding Program Development Systems by a Connection Based Proof Strategy.

Christoph Kreitz Jens Otten Stephan Schmitt

Published in: LOPSTR (1995)

Keyphrases

building blocks
programming environments
software engineering
management system
knowledge based systems
artificial intelligence
technical issues
safety critical
case study
computer systems
information processing
inference rules
application programs
historical perspective
enabling technologies