Aspect-oriented programming is a programming paradigm that is often praised for the ability to create modular software and separate cross-cutting concerns. Recently aspects have been also considered in the context of coordination languages, offering similar advantages. However, introducing aspects makes analyzing such languages more difficult due to the fact that aspects can be recursive — advi...

Aspect oriented programming (AOP) is a paradigm that offers a significant degree of modularity, allowing developers to separate cross-cutting aspects of a system from its main functionality. While this kind of programming modularity is appropriate to encapsulate concerns into single modules, namely aspects, program development may be highly error-prone due to the level of interference between a...

Aalto University, P.O. Box 11000, FI-00076 Aalto www.aalto.fi Author Jari Vanhanen Name of the doctoral dissertation Empirical assessment of the adoption, use, and effects of pair programming Publisher School of Science Unit Department of Computer Science and Engineering Series Aalto University publication series DOCTORAL DISSERTATIONS 135/2011 Field of research Software engineering Manuscript ...

The role and goals of computer programming in the education of young people are discussed. The activity of the Lithuanian Young Programmers School by correspondence is described. Motivation of its curriculum and the way of teaching are given. Relations with the competitions of programmers and some other forms of teaching are considered.

Chemical and biochemical systems are presented as collectives of interacting stochastic automata: each automaton represents a molecule that undergoes state transitions. This framework constitutes an artificial biochemistry, where automata interact by the equivalent of the law of mass action. We analyze several example systems and networks, both by stochastic simulation and by ordinary different...

The use of the generalized Fourier transform as a means to diagonalize certain types of equivariant matrices, and thus speeding up the solution of numerical systems, is discussed. Such matrices may arise in various applications with geometrical symmetries, for example when the boundary element method is used to solve an electrostatic problem in the exterior of a symmetric object. The method is ...

In our previous work, we have been interested in the development of methodologies and techniques for the specification and verification of distributed multimedia systems, with particular emphasis on object and component-based systems [Blair98a]. This has led us to develop an aspect-oriented style of specification that follows the principles of aspect-oriented programming [AOP00][Murphy99]. Esse...

Building ontology is one of key issues for knowledge sharing which is important technology to realize largescale knowledge-base systems. In this paper, we propose a computational framework for constructive ontologies called aspect. We rst formalize aspect in a logical framework and then de ne it as a programming language. Aspect is representation of conceptualization which consists of a vocabul...

Recent work shows a tendency to use programming languages specific to the social aspects of multi-agent systems, for example in programming norms that agents ought to follow. In this paper, we introduce a simple and elegant normative programming language called NPL and show its operational semantics. We then define a particular class of NPL programs that are suitable for programming Organisatio...