DependencyViewer helps to control package dependencies to avoid degeneration of package designs. To this end it computes design quality metrics including stabilabstractness for ea...
Engineering can learn from ethics, but ethics can also learn from engineering. In this paper, I discuss what engineering metaphors can teach us about practical philosophy. Using me...
In this paper we describe the conception of a software toolkit designed for the construction, maintenance and collaborative use of a Generative Lexicon. In order to ease its porta...
Computing history has shown that open, multi-layer hardware and software stacks encourage innovation and bring costs down. Only recently this trend is meeting the networking world...
Marcelo Ribeiro Nascimento, Christian Esteve Rothe...
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...