[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Softwarepatente
- To: debate@fitug.de
- Subject: Re: Softwarepatente
- From: Thomas Jäckel <jaeckel@netcologne.de>
- Date: Sun, 30 Jul 2000 03:32:14 +0200
- CC: horns@ipjur.com
- Comment: This message comes from the debate mailing list.
- References: <200007281830.OAA08519@zebra.esosoft.net>
- Sender: owner-debate@fitug.de
Axel H Horns wrote:
>
> On 28 Jul 00, at 19:04, Thomas Jäckel wrote:
>
> > Hier sehe ich eher dass Problem den zu patentierenden Algorithmus
> > hinreichend genau zu definieren. Dafür sind in der Informatik bereits
> > formale Lösungen entwickelt worden. Sie sollten fuer die Beschreibung
> > herangezogen werden.
>
> Welche? Wo? Fundstelle? Interessiert mich.
>
Einen Einstieg in die Thematik findet man unter dieser
Adresse: http://archive.comlab.ox.ac.uk/formal-methods.html
Ein deutscher Einführungsartikel:
http://www.first.gmd.de/~sergio/public/formalmet.html
Bei Details muss ich allerdings passen.
Gruss
Thomas