The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...
Typical transmission control protocol (TCP) based web agents in mobile wireless environment have several deficiencies, such as performance degradation, head-of-line blocking, and u...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
Abstract. This paper describes a pedagogical pattern for cross-cultural language learning and its application in a case study involving learners in Australia and China. The pattern...
Carsten Ullrich, Kerstin Borau, Scott Grant, Danie...