Social Software Export

@article{10188, abstract = {We suggest that the issue of constructing andverifying social procedures, which we suggestively call socialsoftware, be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise withsocial software which do not arise with computer software, but thesimilarities are nonetheless strong, and tools already exist which wouldenable us to start work on this important project. We give a variety ofsuggestive examples and indicate some theoretical work which alreadyexists.}, author = {Parikh, Rohit}, citeulike-article-id = {3360805}, citeulike-linkout-0 = {http://dx.doi.org/10.1023/A:1020391420768}, doi = {10.1023/A:1020391420768}, journal = {Synthese}, keywords = {file-import-08-09-30}, number = {3}, pages = {187--211}, posted-at = {2008-09-30 21:25:11}, priority = {2}, title = {Social Software}, url = {http://dx.doi.org/10.1023/A:1020391420768}, volume = {132}, year = {2002} }

TY - JOUR ID - 10188 L3 - citeulike-article-id:3360805 N2 - We suggest that the issue of constructing andverifying social procedures, which we suggestively call socialsoftware, be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise withsocial software which do not arise with computer software, but thesimilarities are nonetheless strong, and tools already exist which wouldenable us to start work on this important project. We give a variety ofsuggestive examples and indicate some theoretical work which alreadyexists. IS - 3 JF - Synthese EP - 211 TI - Social Software VL - 132 SP - 187 KW - file-import-08-09-30 AU - Parikh, Rohit PY - 2002/// UR - http://dx.doi.org/10.1023/A:1020391420768 ER -