Object-oriented Programming Laws for Annotated Java Programs

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings

Unifying Requirements and Code: an Example

Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the feasibility of such an approach, the case study reported here takes a classic example from the requirements engineering literature and describes it using a programming language framework to express both domain and machine properties. The paper describes the solution, discusses its benefits and limitations, and assesses its scalability.Comment: 13 pages; 7 figures; to appear in Ershov Informatics Conference, PSI, Kazan, Russia (LNCS), 201

Life of occam-Pi

This paper considers some questions prompted by a brief review of the history of computing. Why is programming so hard? Why is concurrency considered an “advanced” subject? What’s the matter with Objects? Where did all the Maths go? In searching for answers, the paper looks at some concerns over fundamental ideas within object orientation (as represented by modern programming languages), before focussing on the concurrency model of communicating processes and its particular expression in the occam family of languages. In that focus, it looks at the history of occam, its underlying philosophy (Ockham’s Razor), its semantic foundation on Hoare’s CSP, its principles of process oriented design and its development over almost three decades into occam-? (which blends in the concurrency dynamics of Milner’s ?-calculus). Also presented will be an urgent need for rationalisation – occam-? is an experiment that has demonstrated significant results, but now needs time to be spent on careful review and implementing the conclusions of that review. Finally, the future is considered. In particular, is there a future

Poznawcze przesłanki semiozy zorientowanej na mit

This article addresses the cognitive premises of designation units denoting mythic concepts in a variety of texts and discourses. The article focuses on myth-oriented semiosis as a cognitive and cultural phenomenon reflected in the semantic transformations of lingual signs, resulting in the development of noematic senses relevant to the states of affairs in diverse worldviews or modelled alternative realities. This article provides an analysis of the basic cognitive models and procedures responsible for irrational cognition. The reconstructed cognitive models are then discussed in terms of their correspondence with the universal patterns of open system interaction and information exchange.Ten artykuł dotyczy poznawczych przesłanek jednostek desygnacyjnych oznaczających mityczne pojęcia w różnych tekstach i dyskursach. Artykuł koncentruje się na semiozie zorientowanej na mit jako zjawisku poznawczym i kulturowym odzwierciedlonym w semantycznych przekształceniach znaków językowych, co skutkuje rozwojem noematycznych zmysłów związanych ze stanami rzeczy w różnych światopoglądach lub modelowanych alternatywnych rzeczywistościach. Ten artykuł zawiera analizę podstawowych modeli i procedur poznawczych odpowiedzialnych za irracjonalne poznanie. Zrekonstruowane modele poznawcze są następnie omawiane pod kątem ich zgodności z uniwersalnymi wzorcami interakcji otwartego systemu i wymiany informacji

Towards a Reference Terminology for Ontology Research and Development in the Biomedical Domain

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research

The Behaviorisms of Skinner and Quine: Genesis, Development, and Mutual Influence

in april 1933, two bright young Ph.D.s were elected to the Harvard Society of Fellows: the psychologist B. F. Skinner and the philosopher/logician W. V. Quine. Both men would become among the most influential scholars of their time; Skinner leads the "Top 100 Most Eminent Psychologists of the 20th Century," whereas philosophers have selected Quine as the most important Anglophone philosopher after the Second World War.1 At the height of their fame, Skinner and Quine became "Edgar Pierce twins"; the latter obtaining the endowed chair at Harvard's department of philosophy, the former taking up the position at Harvard's psychology department.2Besides these biographical parallels, there also..