Dietmar Wikarski

  • Citations Per Year
Learn More
An innovative net-based methodology to integrate qualitative and quantitative analysis of distributed software systems is outlined, and an on-going prototype implementation of a related graphic-oriented tool kit is sketched. The proposed method combines qualitative analysis, monitoring and testing as well as quantitative analysis on the basis of a net-based(More)
Starting from a classification of software validation techniques an innovative Petri net based methodology is proposed to integrate qualitative and quantitative analysis methods of parallel software systems. The approach combines qualitative analysis, monitoring and testing as well as quantitative analysis on the basis of a net-based intermediate(More)
In this paper a Petri net based methodology is outlined for an integrated qualitative and quantitative analysis of parallel software systems which is based on different (Petri) net representations of the software system under consideration. The software validation methodology starts from the source text of a set of communicating processes which specify the(More)
Nowadays, thesauri are unavoidable bridges for semantic meshups between several domains. So they can be considered also as knowledge kernels of intelligent (environmental) information systems. Since information „lives” (changes quickly), the quality of involved thesauri and relaying information systems depends on their up-to-dateness. In this contribution(More)