binaervarianz.de

New j-Algo module: Lambda Calculus

Michael Pradel — Mon, 10 Aug 2009 17:51:36 +0100

A group of students at TU Dresden has developed a new j-Algo module. It helps in understanding λ-terms. Have fun trying it!

Yet another j-Algo module: Algebraic Path Problem

Michael Pradel — Fri, 31 Oct 2008 17:09:21 +0100

There is a new j-Algo module available now. It visualises the algebraic path problem.

Diploma thesis: Roles and Collaborations in Scala

Michael Pradel — Sat, 12 Jul 2008 19:17:36 +0100

Although roles and collaborations are interesting programming constructs, they are not supported by most programming languages. My diploma thesis shows, using Scala as an example, how to realize them without changing the underlying language and applies the approach to design patterns.

Paper on roles in Scala

Michael Pradel — Sun, 25 May 2008 22:13:15 +0100

My diploma thesis is on roles in the Scala programming language. As a first result, there is a paper describing how to enable role-based programming in a library, i.e., without adding new language constructs.
Michael Pradel, Martin Odersky. Scala Roles - A Lightweight Approach towards Reusable Collaborations

New j-Algo module: Heapsort

Michael Pradel — Thu, 21 Feb 2008 21:51:07 +0100

We are happy to announce a new j-Algo module develped by Matthias Büchse. It presents the sorting algorithm Heapsort.

Paper on roles in ontologies

Michael Pradel — Sun, 23 Dec 2007 11:05:08 +0100

My first paper on roles in ontologies has been published at the International Workshop on Semantic-Based Software Development at OOPSLA 2007:
Michael Pradel, Jakob Henriksson, and Uwe Aßmann. A Good Role Model for Ontologies: Collaborations

New j-Algo modules

Michael Pradel — Sun, 23 Dec 2007 10:53:29 +0100

Student groups from Dresden Technical University have developed two new modules for the algorithm visualisation tool j-Algo: Hoare Calculus and Pulsing Memory. More...

Seminar paper on the Economics of Information Security

Matthias Korn — Sat, 17 Nov 2007 22:36:42 +0100

During my recent seminar at Siegen University I intensely studied on the Economics of Information Security. The idea of this field of research lies in the notion, that problems of security investments can often be much better described by economic theories and models. Security problems are almost as often caused by wrong incentives as by bad design. This seminar paper (in German only) aims to provide an overview of the different topics and the current state of research going on in this field. More...

New Project: CocoaRay

Stefan Aschenbach — Fri, 28 Sep 2007 00:42:34 +0100

Hi, I like to present a new toy of mine, a realtime raytracer for Mac OS X (mostly existing to spend the time I don't have). This little project can now be observed on binaervarianz. Updates will hopefully emerge at a regular basis. My apologys, but translations will always lag a bit behind.

Better Pizza with Roles in Ontologies

Michael Pradel — Mon, 24 Sep 2007 19:33:59 +0100

You want to know what roles and ontologies are and how both together enhance the concept of pizza? My Großer Beleg merges role modeling and ontologies. This yields a notion of ontological components - role models: thesis, slides.