Effects of structure on the comprehensibility of formal specifications

Use of structuring mechanisms (such as modularisation) is widely believed to be one of the key ways to improve software quality. Structuring is considered to be at least as important for specification documents as for source code, since it is assumed to improve comprehensibility. Yet, as with most widely held assumptions in software engineering, there is little empirical evidence to support this hypothesis. Also, even if structuring can be shown to he a good thing, we do not know how much structuring is somehow optimal. One of the more popular formal specification languages, Z, encourages structuring through its schema calculus. A controlled experiment is described in which two hypotheses about the effects of structure on the comprehensibility of Z specifications are tested. Evidence was found that structuring a specification into schemas of about 20 lines long significantly improved comprehensibility over a monolithic specification. However, there seems to be no perceived advantage in breaking down the schemas into much smaller components. The experiment can he fully replicated.

The Catford Riddim on the 202

This presentation is about a song, ”Catford Riddim” by the A-Team, a group of grime artists from South London, specifically about how it came to be played, perhaps a bit too loudly, in the back of the 202 bus one January morning on a teenager’s mobile phone. As an illustration of how social networks and technological networks converge, the ”Catford Riddim,” insisting on the music’s own provenance from the SE6 postcode, shows the formation of a local ethnoscape in the global networks of peer-to-peer file sharing and online DIY distribution sites such as MySpace. Contesting the narrative of online social networks as routes to fame, I suggest that on the contrary they illustrate the emergence of local, even insular, ”scenes” of musicians, events and audiences.