Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Climate Change, Neutrality and the Harm Principle

This paper aims at evaluating the compatibility of coercive climate policies with liberal neutrality. More precisely, it focuses on the doctrine of state neutrality as associated with the "harm principle". It argues that given the difficulty of attributing causal responsibilities for climate harms to individuals, the harm principle doesn't work in this case, at least if one endorses a liberal atomistic ontology. Furthermore, the definition of what constitutes climate harms implies making moral assumptions, which makes it impossible to justify climate policies in a neutral way. Finally, the paper shows another consequence of applying neutrality to the case of climate change, that is the risk of a shift from political forms of decision-making to technocracy. Focusing too much on liberty of choice may (paradoxically) be to the detriment of political freedom. The paper concludes that climate change is an intrinsically moral issue and that it should be the occasion of a political debate about our current values and lifestyles. It should not be reduced to a mere question of carbon metric.

Tourism and the precautionary principle : a survey of academic and government stakeholders

The purpose of this exploratory investigation was to provide a more precise understanding and basis from which to assess the potential role of the precautionary principle in tourism. The precautionary principle, analogous to the ideal of sustainable development, is a future-focused planning and regulatory mechanism that emphasizes pro-action and recognizes the limitations of contemporary scientific methods. A total of 100 respondents (80 tourism academics, 20 regional government tourism officials) from Canada, United States, United Kingdom, Australia and New Zealand completed the webbased survey between May and June 2003. Respondents reported their understanding of the precautionary principle, rated stakeholder involvement and education strategies, assessed potential barriers in implementation, and appraised steps of a proposed fi-amework for implementation. Due to low sub sample numbers, measures of central tendency were primarily used to compare groups, while inferential statistics were applied when warranted. Results indicated that most respondents (79%) felt the principle could be a guiding principle for tourism, while local and regional government entities were reported to have the most power in the implementation process. Findings suggested close links between the precautionary principle and sustainability, as concern for future generations was the most critical element of the principle for tourism. Overall, tourism academics were more supportive of the precautionary principle in tourism than were regional government tourism officials. Only minor variation was found in responses among regional groups across all variables. This study established basic ground for understanding the precautionary principle in tourism and has been effective in formulating more precise questions for future research.

Towards automated derivation in the theory of allegories

We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certificate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are significant for those interested in relational theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.

Can Mixed Martial Arts be Ethically Defended?: Autonomy, Paternalism and the Harm Principle

Abstract Mixed Martial Arts (MMA) and the Ultimate Fighting Championship (UFC) founded in 1993 have been under scrutiny for the past two decades. Unlike boxing, the ethical status of MMA and whether it is morally defensible have rarely been analyzed in the academic literature. I argue that MMA requires such an analysis because it is inherently violent. The purpose of this study was to examine elite-level MMA by referring to the ethical concepts of autonomy, paternalism and the Harm Principle. Findings from interviews with MMA athletes as well as my personal experience of MMA were presented to establish a deeper understanding of the sport and what it means to train and compete in a sport defined as violent. The conceptual analysis and findings of MMA athletes' experiences in this investigation resulted in the conclusion that MMA is ethically defensible. Additional findings, implications and recommendations for further research were also discussed.

Online Anonymity and the Kantian Publicity Principle: Can the Internet Solve the Paradox of Tyranny?

Immanuel Kant’s publicity maxim states that other-regarding actions are wrong if their maxim is not compatible with their being made public. This has the effect of forbidding dissent or rebellion against tyranny, since rebels cannot make their intentions and plans public. However, new internet technologies offer public speech from behind the “shield” of anonymity, allowing dissent to be public but preventing reprisals from tyrants. This thesis examines not only this possibility, but the value of internet-based discursive spaces for politics, their viability as a mode for political communication, and their implications for Classical and Enlightenment approaches to politics and intellectual virtue. Anonymous internet communications favour logos-based reasoning and discourse, which, in the liberal-democratic tradition, is preferable to phronesis and its attendant elitism and chauvinism. These technologies can open new vistas for liberal-democratic politics.

Multiple Public Goods and Lexicographic Preferences Replacement Principle.

We study the problem of locating two public goods for a group of agents with single-peaked preferences over an interval. An alternative specifies a location for each public good. In Miyagawa (1998), each agent consumes only his most preferred public good without rivalry. We extend preferences lexicographically and characterize the class of single-peaked preference rules by Pareto-optimality and replacement-domination. This result is considerably different from the corresponding characterization by Miyagawa (2001a).

Driedger's 'Modern Principle' at the Supreme Court of Canada: Interpretation, Justification, Legitimization

Un résumé en français est également disponible

Impoverishment of The Law by The Law: A Critique of The Attorney General's Vision of The Rule of Law and The Federal Principle

This brief article is devoted to a critique of the arguments put forward by the Attorney General of Canada in connection with the Reference concerning certain questions relating to the secession of Quebec (hereinafter, "the Reference"). This critique will not be presented from a plainly positivist standpoint. On the contrary, I will be examining in particular (1) how the approach taken by the Attorney General impoverished the legal concepts of the rule of law anf federalism, both of which were, however, central to her submission; and, in a more general way, (2) how the excessively detailed analysis of constitutional texts contributes to the impoverishment of the symbolic function of the law, however essential that dimension may be to its legitimacy. My criticism will take into account the reasons for judgement delivered recently by the Supreme Court in the Reference.

Implementing the Precautionary Principle through Stakeholder Engagement for Product and Service Development

Section des étudiants

Etudes ab initio des effets de la température sur le spectre optique des semi-conducteurs

Thèse réalisée en cotutelle avec l'Université Catholique de Louvain (Belgique)

Regulation via the Polluter-Pays Principle

We consider the problem of regulating an economy with environmental pollution. We examine the distributional impact of the polluter-pays principle which requires that any agent compensates all other agents for the damages caused by his or her (pollution) emissions. With constant marginal damages we show that regulation via the polluter-pays principle leads to the unique welfare distribution that assigns non-negative individual welfare and renders each agent responsible for his or her pollution impact. We extend both the polluter-pays principle and this result to increasing marginal damages due to pollution. We also discuss the acceptability of the polluter-pays principle and compare it with the Vickrey-Clark-Groves mechanism.

Design thinking and the precautionary principle : development of a theoretical model complementing preventive judgment for design for sustainability enriched through a study of architectural competitions adopting LEED

Cette thèse contribue à une théorie générale de la conception du projet. S’inscrivant dans une demande marquée par les enjeux du développement durable, l’objectif principal de cette recherche est la contribution d’un modèle théorique de la conception permettant de mieux situer l’utilisation des outils et des normes d’évaluation de la durabilité d’un projet. Les principes fondamentaux de ces instruments normatifs sont analysés selon quatre dimensions : ontologique, méthodologique, épistémologique et téléologique. Les indicateurs de certains effets contre-productifs reliés, en particulier, à la mise en compte de ces normes confirment la nécessité d’une théorie du jugement qualitatif. Notre hypothèse principale prend appui sur le cadre conceptuel offert par la notion de « principe de précaution » dont les premières formulations remontent du début des années 1970, et qui avaient précisément pour objectif de remédier aux défaillances des outils et méthodes d’évaluation scientifique traditionnelles. La thèse est divisée en cinq parties. Commençant par une revue historique des modèles classiques des théories de la conception (design thinking) elle se concentre sur l’évolution des modalités de prise en compte de la durabilité. Dans cette perspective, on constate que les théories de la « conception verte » (green design) datant du début des années 1960 ou encore, les théories de la « conception écologique » (ecological design) datant des années 1970 et 1980, ont finalement convergé avec les récentes théories de la «conception durable» (sustainable design) à partir du début des années 1990. Les différentes approches du « principe de précaution » sont ensuite examinées sous l’angle de la question de la durabilité du projet. Les standards d’évaluation des risques sont comparés aux approches utilisant le principe de précaution, révélant certaines limites lors de la conception d’un projet. Un premier modèle théorique de la conception intégrant les principales dimensions du principe de précaution est ainsi esquissé. Ce modèle propose une vision globale permettant de juger un projet intégrant des principes de développement durable et se présente comme une alternative aux approches traditionnelles d’évaluation des risques, à la fois déterministes et instrumentales. L’hypothèse du principe de précaution est dès lors proposée et examinée dans le contexte spécifique du projet architectural. Cette exploration débute par une présentation de la notion classique de «prudence» telle qu’elle fut historiquement utilisée pour guider le jugement architectural. Qu’en est-il par conséquent des défis présentés par le jugement des projets d’architecture dans la montée en puissance des méthodes d’évaluation standardisées (ex. Leadership Energy and Environmental Design; LEED) ? La thèse propose une réinterprétation de la théorie de la conception telle que proposée par Donald A. Schön comme une façon de prendre en compte les outils d’évaluation tels que LEED. Cet exercice révèle cependant un obstacle épistémologique qui devra être pris en compte dans une reformulation du modèle. En accord avec l’épistémologie constructiviste, un nouveau modèle théorique est alors confronté à l’étude et l’illustration de trois concours d'architecture canadienne contemporains ayant adopté la méthode d'évaluation de la durabilité normalisée par LEED. Une série préliminaire de «tensions» est identifiée dans le processus de la conception et du jugement des projets. Ces tensions sont ensuite catégorisées dans leurs homologues conceptuels, construits à l’intersection du principe de précaution et des théories de la conception. Ces tensions se divisent en quatre catégories : (1) conceptualisation - analogique/logique; (2) incertitude - épistémologique/méthodologique; (3) comparabilité - interprétation/analytique, et (4) proposition - universalité/ pertinence contextuelle. Ces tensions conceptuelles sont considérées comme autant de vecteurs entrant en corrélation avec le modèle théorique qu’elles contribuent à enrichir sans pour autant constituer des validations au sens positiviste du terme. Ces confrontations au réel permettent de mieux définir l’obstacle épistémologique identifié précédemment. Cette thèse met donc en évidence les impacts généralement sous-estimés, des normalisations environnementales sur le processus de conception et de jugement des projets. Elle prend pour exemple, de façon non restrictive, l’examen de concours d'architecture canadiens pour bâtiments publics. La conclusion souligne la nécessité d'une nouvelle forme de « prudence réflexive » ainsi qu’une utilisation plus critique des outils actuels d’évaluation de la durabilité. Elle appelle une instrumentalisation fondée sur l'intégration globale, plutôt que sur l'opposition des approches environnementales.

The exploration of mixed-use principle as an ingredient to improve the viability and vitality of town centres in Mauritius

This thesis has been realised through a scholarship offered by the Government of Canada to the Government of the Republic of Mauritius under the Programme Canadien de Bourses de la Francophonie