Marcel Dausend

  • Citations Per Year
Learn More
An inherent general problem is that systems become more complex. This problem is exacerbated by the use of additional interaction concepts like multimodality. Interactive systems are widespread and often apply advanced interaction concepts to ease use and enhance user experience. Touch interaction and multimodality are concepts that are on the rise and are(More)
We introduce a debugger component as an extension of CoreASM to simplify validation of (complex) ASM specifications. As a basis, we map well-known debugging concepts of imperative programs to the ASM context. The architecture of our debugger is described and some background information to the implementation is given. We conclude by summarizing the current(More)
Abstract State Machines can be used to specify arbitrary system behaviour. However, when writing executable specifications one often has to write additional statements which organise how, e.g., in which order, the rules are executed. This reduces the readability and comprehensibility of specifications and can introduce additional defects to them. We propose(More)
With the paradigm of aspect-orientation, a developer is able to separate the code of so-called cross-cutting concerns from the rest of the program’s logic. This possibility is useful for formal specifications, too. For example, security aspects can be separated from the rest of the specification. Those aspect-oriented specifications often can be more easily(More)
  • 1