Found 3 results
Filters: Author is Anna-Lena Lamprecht [Clear All Filters]
Foundations of Semantics and Model Checking in a Software Engineering Course. First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T '15), co-located with 20th International Symposium on Formal Methods (FM 2015).
.
2015. Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education. Workshop on Teaching Computational Science at the 15th International Conference on Computational Science (ICCS 2015).
.
2015. On the Use of XMDD in Software Development Education: Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual. 39th Annual IEEE Computer Software and Applications Conference (COMPSAC)39th Annual IEEE Computer Software and Applications Conference (COMPSAC).
.
2015.