— It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...
Julio Cesar Sanchez, Laurie A. Williams, E. Michae...
The public nature of discussion in open source projects provides a valuable resource for understanding the mechanisms of open source software development. In this paper we explore...
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...