Wolfgang Janko

Learn More
PANEL THEME Many predict a shift in the way organizations function as the World Wide Web becomes the predominant way that people gain access to computer applications and information. As organizations graft Web interfaces to their legacy systems and conceive of entire new information systems that take advantage of the Web infrastructure, a new field called(More)
Processing and lnformu~itrn Managcmcn~ Univcrsi~y nf Economics Vionno Augasse 2.6. A-1090 Vienna AUSllil 1. Introduction 2. The system of rules and the imptementation nf the inference machine Rule based systems have won atuactivity, because the realization of expert systems for commercial, scientific and technical applications is mainly based on such(More)
The aim of the diploma thesis is to evaluate the benefit of formal verification for software development. As basis the work of Feinerer [2005] is used. There already various tools are compared and their use for software development is explained. This paper is extended with an economic component for a more general discussion. The economic component consists(More)
An algorithm is described which is an insertion sort producing a single linked list. The sorting method is insensitive to the key distribution. In comparison with alternative insertion sort algorithms like Shellsort algorithms, simple list insertion, and binary tree insertion, this subroutine is comparable in speed with sorting algorithms of the Shellsort(More)