A Logical Descriptor for Regular Languages via Stone Duality

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Comparative Analysis of Existing Guidelines for Gender-Fair Language within the ITN LCG Network. ITN-LCG, Workpackage B: Report on Milestone 1

Guidelines for a gender-fair use of the languages represented in the ITN LCG network were analyzed comparatively for specific criteria. All institutional or governmental guidelines aim at attenuating male-biased representations that are brought about by certain grammatical structures of the respective language. These guidelines primarily focus on the use of masculine forms as generics because they reduce the visibility of women in language. The comparison shows that guidelines for English, a language without grammatical gender, emphasize neutralization as a means of referring to both sexes. This differs from grammatical gender languages, such as German and Italian, in which feminine-masculine word-pairs are recommended in order to avoid the masculine bias. The guidelines all aim to promote the formulation of comprehensive and readable texts that are free of discrimination.

The Impact of Individual-Level Cultural Perceptions on Entrepreneurial Behavior

Entrepreneurial intention scholars have increasingly been investigating the link between entrepreneurial intentions and behaviour. While a solid empirical link has been confirmed, there is still a lack of in-depth theorizing about the underlying conceptual mechanisms. We address this gap by arguing that individual-level perceptions of cultural practices moderate the relationship between entrepreneurial intentions and behaviour. Investigating a longitudinal sample of 1’511 individuals from 13 countries reveals negative moderation effects of perceptions of power distance and collectivism in society and thus confirms our theorizing. This study provides valuable contributions to literatures of entrepreneurship and international business.

Analyzing, Capturing and Taming Software Change

Software systems need to continuously change to remain useful. Change appears in several forms and needs to be accommodated at different levels. We propose ChangeBoxes as a mechanism to encapsulate, manage, analyze and exploit changes to software systems. Our thesis is that only by making change explicit and manipulable can we enable the software developer to manage software change more effectively than is currently possible. Furthermore we argue that we need new insights into assessing the impact of changes and we need to provide new tools and techniques to manage them. We report on the results of some initial prototyping efforts, and we outline a series of research activities that we have started to explore the potential of ChangeBoxes.

Towards moldable development tools

Developers commonly ask detailed and domain-specific questions about the software systems they are developing and maintaining. Integrated development environments (IDEs) form an essential category of tools for developing software that should support software engineering decision making. Unfortunately, rigid and generic IDEs that focus on low-level programming tasks, that promote code rather than data, and that suppress customization, offer limited support for informed decision making during software development. We propose to improve decision making within IDEs by moving from generic to context-aware IDEs through moldable tools. In this paper, we promote the idea of moldable tools, illustrate it with concrete examples, and discuss future research directions.