In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
XML has become a very important emerging standard for E-commerce because of its flexibility and universality. Many software designers are actively developing new systems to handle...
David Wai-Lok Cheung, Sau Dan Lee, Thomas Lee, Wil...
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...