Freedom, Rights and Social Software
Rohit Parikh suggests that social procedures such as conventions, customs as well as more formalized institutions could be viewed as social software [24,25]. Verifying such procedures could be carried out in as systematic a manner as verifying computer software by computer scientists. The verification is both in terms of their internal workings - they should produce the outcomes desired in the most efficient manner; and comparatively across such procedures to ensure these 'programs' do not...[Show more]
|Collections||ANU Research Publications|
|01_Dowding_Freedom,_Rights_and_Social_2012.pdf||755.22 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.