The KIV System: A Tool for Formal Program Development.

Rainer Drexler Wolfgang Reif Gerhard Schellhorn Kurt Stenzel Werner Stephan Andreas Wolpers

Published in: STACS (1993)

Keyphrases

development process
software engineering
formal model
decision support
st century
development environment
rapid development
programming environments
artificial intelligence
website
user friendly
design principles
program understanding
intelligent software