Dowding, Keith; van Hees, Martin
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]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.