Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012).

Michaela Huhn Stefan Gerken Carsten Rudolph

Published in: Software Engineering (2012)

Keyphrases

software systems
software package
software design
source code
artificial intelligence
hardware design
software tools
computer systems
software platform
software application
software packages
development process
database
software engineering
evolutionary algorithm
user interface
decision trees
databases
data sets