A Toolset for Support of Teaching Formal Software Development.

Stefan Korecko Ján Sorád Zuzana Dudláková Branislav Sobota

Published in: SEFM (2014)

Keyphrases

software development
development process
learning environment
software engineering
end users
model driven development
knowledge management
learning systems
software systems
problem based learning
technology enhanced learning
software evolution
interactive learning environments
test driven development