More About TAS and IsaWin - Tools for Formal Program Development.

Christoph Lüth Burkhart Wolff

Published in: FASE (2000)

Keyphrases

programming environments
decision support
case study
development environments
technical issues
software engineering
development process
design principles
computer programs
formal models
data mining
business processes
development environment