25 citations · 637 across the 113 of their papers we have counts for
Showing 2010 · cs.SEShow all
2 papers · 2 filters
cs.SE2010★ 3 cited
Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations
J. A. Bergstra, S. F. M. van Vlijmen
Outsourcing, the passing on of tasks by organizations to other organizations, often including the personnel and means to perform these tasks, has become an important IT-business st…
cs.SE2010★ 7 cited
Informal Control code logic
Jan A. Bergstra
General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and r…