Verified System Development with the AutoFocus Tool Chain

Maria Spichkova Florian Hölzl David Trachtenherz

Published in: WS-FMDS (2012)

Keyphrases

rapid development
software engineering
data mining
software application
information processing
image processing
web services
multi agent
mobile devices
open source
web applications
decision support
development process
st century
development environment
intelligent software