Theory-oriented software engineering
Two case studies of open source software development: Apache and Mozilla