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.

Models of core/periphery structures

A common but informal notion in social network analysis and other fields is the concept of a core/periphery structure. The intuitive conception entails a dense, cohesive core and a sparse, unconnected periphery. This paper seeks to formalize the intuitive notion of a core/periphery structure and suggests algorithms for detecting this structure, along with statistical tests for testing a priori hypotheses. Different models are presented for different kinds of graphs (directed and undirected, valued and nonvalued). In addition, the close relation of the continuous models developed to certain centrality measures is discussed.

Representing the dividing instant

The so-called dividing instant (DI) problem is an ancient historical puzzle encountered when attempting to represent what happens at the boundary instant which divides two successive states. The specification of such a problem requires a thorough exploration of the primitives of the temporal ontology and the corresponding time structure, as well as the conditions that the resulting temporal models must satisfy. The problem is closely related to the question of how to characterize the relationship between time periods with positive duration and time instants with no duration. It involves the characterization of the ‘closed’ and ‘open’ nature of time intervals, i.e. whether time intervals include their ending points or not. In the domain of artificial intelligence, the DI problem may be treated as an issue of how to represent different assumptions (or hypotheses) about the DI in a consistent way. In this paper, we shall examine various temporal models including those based solely on points, those based solely on intervals and those based on both points and intervals, and point out the corresponding DI problem with regard to each of these temporal models. We shall propose a classification of assumptions about the DI and provide a solution to the corresponding problem.

Piranesi in Ghent

Piranesi in Ghent is an exhibition, a catalogue and a symposium. It is also a telling story in the recent scholarship and recurring ‘fashionable’ re-discoveries of Piranesi’s work. It is a funny story, a serious cultural enterprise that begins, like all good love stories, by chance. But there’s more here: scholarly passion, intellectual curiosity, design and experimentations: as well as reproductions, plates and debates, and a lot of challenging hypotheses and development possibilities. This is indeed a very Piranesian story and, as in Piranesi’s work, here the less visibly obvious is worthy of the greatest attention, because it reveals more, much more indeed, than what appears at first.

Why do we struggle when we try to learn a language as adults?

Whereas the acquisition of a first language is successful for normally developing individuals, native-like attainment in a language learnt as adults is not guaranteed. As far as grammar is concerned, the area that typically shows up as more problematic is that of Morphology, and more specifically, that part of Morphology related to the specific ways languages have to indicate notions like temporal location (e.g. English –-ed for past tense She walked) or person agreement (e.g. English –s for the third person singular She sings). Language students and teachers are familiar with exclamations like “Oh, after so many years I still have problems with the past tenses in Spanish!” or “I cannot cope with the masculine/feminine thing in French!” In this talk I will present two different accounts that are currently debated in the field of Second Language Acquisition about why it is not enough to memorize those “blessed endings” for us to master their use in our speech production. I will also introduce the latest study I have conducted in collaboration with colleagues, with the aim of evaluating the explanatory power of the hypotheses debated in current literature. [From the Author]

Drawing the net: internet identification, internet use, and the image of internet users

Theory and research suggest that Internet identification may account for some of the gender divide in Internet use. Internet identification is a type of domain identification, and is inherently bound with images of those who use the Internet, a domain traditionally conceived as masculine. Combining the “draw an Internet user” test with an Internet identification scale, this study tests two hypotheses: participants drawing gender-concordant images will (i) identify with and (ii) use the Internet more than those drawing gender-discordant images. Participants were 371 students (121 males, 250 females) from three universities in the United Kingdom and Australia. The need to challenge masculinized images of the Internet is discussed.