The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
Florian Rabe, Michael Kohlhase, Claudio Sacerdoti ...
The MOVES Institute’s mission is research, application, and education in the grand challenges of modeling, virtual environments, and simulation. Specialties are 3D visual simula...
Michael Zyda, Donald P. Brutzman, Rudy Darken, Joh...
SEPP is an application installation, sharing and packaging solution for large, decentrally managed Unix environments. SEPP can be used without making modifications to the organiza...
Most computer science educators hold strong opinions about the “right” approach to teaching introductory level programming. Unfortunately, we have comparatively little hard ev...
Jaime Spacco, Jaymie Strecker, David Hovemeyer, Wi...
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...