Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
In this paper, we explore the problems associated with exception handling from a new dimension: the human. We designed a study that evaluates (1) different perspectives of softwar...
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
Liang Xiao 0002, Andrew Peet, Paul H. Lewis, Srina...