Allison Sullivan

Crucibleは、グラフィカルインターフェースを通じてソフトウェアのモデリングとテストを簡単にしてくれるよ。

この研究は、Alloyソフトウェアモデリングの初心者がよくやる間違いを分析してるよ。

この研究は、言語を変えるとテキスト分類器にどう影響するかを調べてるよ。