Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
We have developed an educational software tool (Aprendiendo) to reinforce the learning process of children with special educational needs. This tool makes use of a variety of inte...
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
Benjamin C. Pierce, Peter Sewell, Stephanie Weiric...
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...
Most open source software development projects include an open bug repository—one to which users of the software can gain full access—that is used to report and track problems...