Bandera Temporal Specification Patterns Matt Dwyer John Hatcliff Principal Investigators Support US National Science Foundation.
Process Use: Intentional Practice or Just Good Practice? anzea 2013 Conference 22–24 July 2013 Alexandra Park, Epsom, Auckland Michael Blewden Massey University.
1 © 2014 | Prof. Dr. Jan Marco Leimeister Universität Kassel | FG Wirtschaftsinformatik Serious Game Development for Educators – A Serious Game Logic.
Overview of EASE results 2009 Prof. Per Runeson – Director.
Ethics and International Relations
Bandera Temporal Specification Patterns
Natural Language Understanding for Soft Information Fusion
Bayesian Filtering for Robot Localization CSE-473.
Automatic Software Testing Via Mining Software Data Wujie Zheng Supervisor: Prof. Michael R. Lyu Department of Computer Science & Engineering The Chinese.