Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
Publicly accessible bug report repositories maintained by free / open source development communities provide vast stores of data about distributed software problem management (SWP...
Based on many years of teaching software engineering, I present a number of lessons I have learned over the years. I do so in the form of a series of myths, the reverse of which c...
This report discusses some design and implementation issues in the HPJava language. Through example codes, we will illustrate how various language features have been designed to f...
We describe strongly minimal theories Tn with finite languages such that in the chain of countable models of Tn, only the first n models have recursive presentations. Also, we d...