Back to the list of publications.
Key words: Design, Requirements Engineering, Reliability, Verification, Semantics, Non-functional Aspects, Distributed Systems, Real-time Systems
This paper proposes a design framework that takes advantage of the aspect-orientation paradigm. The proposed framework is based on the multi-set transformation language called GAMMA, used for the functional aspect, together with a set of modelling notations for other aspects of system design, namely coordination, timing, and distribution.
(postscript / pdf version of the complete paper)
Back to the list of publications.