This paper describes the basic elements (data, actions, tunings, voids, mixtures,. . . ) and principles of programming (stratification, implicit knowledge, limited freedom,. . . ), directed to amalgamating of different programming paradigms (imperative, object-oriented, functional, constraint,. . . ) in a unified process of generating computer system models. Compositions of elements and their p...

The topics on aspects, dependencies and interactions are among the key remaining challenges to be tackled by the Aspect-Oriented Software Development (AOSD) community to enable a wide adoption of AOSD technology. This second workshop, organized and supported by the AOSD-Europe project, aimed to continue the wide discussion on aspects, dependencies and interactions started at ADI 2006.

1

Designing a concurrent object oriented language isn’t an easy task. After many years of research, the merging of concurrency and object oriented paradigms hasn’t been achieved in a totally satisfactory way. Although recent models have partly solved important problems such as the inheritance anomaly, they do still present limitations due to the lack of reusability and adaptability. Approaches ba...

! " # # $ % " # & ' ( " # # # ( ' ) ' * ' # ' # ( ' ' + # ( # # # # ' #

Communication Connector private Channel c; public Producer(Channel c) { this.c = c; c.out(d); } public doSomething() { some calculations... further calculations... } } class Consumer { private Channel c; public Consumer(Channel c) { this.c = c;

............................................................................................................................. iii Acknowledgements..............................................................................................................v Table of

Security breaches seldom occur because of faulty security mechanisms. Often times, security mechanisms are incorrectly incorporated in an application which allows them to be bypassed resulting in a security breach. Methodologies are needed for incorporating security mechanisms in an application and assessing whether the resulting system is indeed secure. We propose one such methodology for desi...