Over the past decade, it has been established that a good education in software engineering requires a specialized program of study different from traditional computer science prog...
Even though software is developed by humans, research in software engineering primarily focuses on the technologies, methods and processes they use while disregarding the importan...
Robert Feldt, Richard Torkar, Lefteris Angelis, Ma...
Applications that provide location-based experiences are an increasingly viable design space given the proliferation of GPS-enabled mobile devices. However, these applications are...
Carman Neustaedter, Anthony Tang, Tejinder K. Judg...
Advances in medical imaging techniques and devices has resulted in increased use of imaging in monitoring disease progression in patients. However, extracting decision-enabling in...
Jesus Caban, Noah Lee, Shahram Ebadollahi, Andrew ...
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...