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...
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...