This tool demonstration presents an extension of the ARIS Business Architect in order to better cope with the high variability of business process models in practice. This extensio...
Manfred Reichert, Steve Rechtenbach, Alena Hallerb...
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
Abstract: On mobile devices, navigating in high-resolution and high-density 2D information spaces, such as geographic maps, is a common and important task. In order to support this...
Software organizations have increased their interest on software process improvement (SPI). In high maturity levels, SPI involves implementing statistical process control (SPC), w...
Monalessa Perini Barcellos, Ana Regina Rocha, Rica...
The increasing complexity concerning leadership and management of small and medium size municipalities in Switzerland, poses high demands on executive authorities. Cockpits for mu...
Christoph Schaller, Alessia C. Neuroni, Daniel Mar...