Java Card technology simpliļ¬es the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language ā...
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
This paper develops a mathematical characterisation of object-oriented concepts by deļ¬ning an observation-oriented semantics for an object-oriented language (OOL) with a rich var...