The search for and correction of errors in software are often time consuming and expensive components of the total cost of software development. The current research investigates ...
The use of context in mobile devices is receiving increasing attention in mobile and ubiquitous computing research. In this article we consider how to augment mobile devices with a...
Hans-Werner Gellersen, Albrecht Schmidt, Michael B...
Sentence alignment is the problem of making explicit the relations that exist between the sentences of two texts that are known to be mutual translations. Automatic sentence align...
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
—This paper describes an empirical study that addresses the issue of communication among members of a software development organization. In particular, data was collected concern...