We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
Some students, when working in interactive learning environments, attempt to "game the system", attempting to succeed in the environment by exploiting properties of the s...
Ryan Shaun Joazeiro de Baker, Albert T. Corbett, I...
In this paper, we describe the lessons we learned in developing AgentBuilder, a commercial system for rapidly creating agents that extract information from web sites. AgentBuilder...
Systems development research shows that practitioners seldom follow methods and that the competencies required for successful development of computer-based systems go well beyond t...
Apparently computer technology is shifting its focus, with individual users not being the main target any more. The evolution of Web 2.0 technologies is promoting the development ...