License agreement

[Das deutsche Original haben Sie zusammen mit dieser Uebersetzung erhalten.
You have received the German original together with this translation.]

Preamble

The aim of this license agreement is to enable the free use of the
software that is described in the sequel by anyone. In order to
guarantee this, it is necessary to set up rules for the use of the
software that hold for any user.

Provider of this license is the University of Bremen, represented by
its principal (called "license provider" in the sequel). The provider
of the license has developed the "Heterogeneous Tool Set" (Hets, just
called "software" in the sequel). The software consists of a command
line tool for the analysis of specifications and a graphical interface
for the management of specifications and proofs using development
graphs.

Following the ideas of open source software, the license provider
gives access to the software without fee for anyone (called "license
taker" in the sequel) under the following conditions which are similar
to the Lesser Gnu Public License (LGPL). Each license taker obligates
himself to follow the terms of use below.

Paragraph 1 Principle

Each license taker appreciating these terms of use receives a simple
right, not restricted in time and space and without any fee, to use
the software, in particular, to copy, distribute and process
it. Exclusively the following terms of use do hold. The license
provider explicitly contradicts any conflicting terms of business. By
making use of the rights described below, in particular by copying or
distributing it, a license treaty between the license provider and the
license takes is concluded.

Paragraph 2 Copying

The license taker has the right to make and distribute unmodified
copies of the software on any media. Prerequisite for this is that the
license provider and this license agreement is clearly recognizable,
and that the sources are distributed together with the software.

Paragraph 3 Modification and Distribution

The license taker has the right to modify copies of the software (or
parts thereof) and to distribute these modifications under the terms
of Paragraph 2 above and the following conditions:

1. The modified software has to carry a clear mark that points to the
original license provider, the modification that has been made, and
the date of the modification.

2. The license taker has to ensure that the software as a whole or
parts of it are accessible to third parties under the terms of this
license agreement without fee.

3. If during the modification a copyright of the license taker
emerges, then this copyright must be put under the terms of this
license if the modified software is distributed.

Paragraph 4 Other duties

1. Reference to the validity of this license agreement must not be
modified or deleted by the license taker.

2. The use of the software by third parties must not be conditioned by
the fulfillment of duties that are not mentioned in this license
agreement.

3. The use of the software must not be prevented or complicated by
means of technical protection, in particular copy protection means.

Paragraph 5 Liability, Update

1. Liability of the license provider is restricted to fraudulent
withheld factual or legal errors. The license provider does not give
any warranty, and neither ensures any properties of the
software. Furthermore, he is liable only for those damages that are
caused by willful or grossly negligent violation of duty.

2. The license provider has the right to update these terms of use at
any time.

Paragraph 6 Forum for users

The license provider does provide neither support nor
consultation. Without acknowledgment of any legal duty, the license
provider will care about the installation of a user forum for
discussions about the software and its further development.

Paragraph 7 Legal domicile

It is agreed that the law of the Federal Republic of Germany is valid
for this license agreement. For any lawsuits or legal actions emerging
from this license agreement, it is agreed that exclusively German
courts are competent. Legal domicile is Bremen.

Paragraph 8 Termination through Offense

Any violation of a duty of this agreement automatically terminates the
rights of use of the offender.

Paragraph 9 Salvatorian Clause

If any rule of this agreement should be or become inoperative,
validity of the other rules is not affected. The parties will care
about replacing the invalid rule by some valid rule that comes close
to the purpose of this agreement.

---

Lizenzvereinbarung

[An English translation of this license is available and comes with
this license.]

Präambel

Ziel dieser Lizenzvereinbarung ist es, die freie Verwendung des
nachfolgend beschriebenen Werkes durch jedermann zu ermöglichen. Um
dies zu gewährleisten, ist es erforderlich, die weitere Nutzung durch
für jeden Nutzer geltende Nutzungsbedingungen zu regeln.

Lizenzgeber im Sinne dieses Vertrages ist die Universität Bremen,
vertreten durch den Rektor (im Folgenden: "Lizenzgeber"). Der
Lizenzgeber hat die Software Heterogeneous Tool Set" (Hets, im
folgenden: "Software") entwickelt. Die Software besteht aus einem
Kommandozeilen-Werkzeug zur Analyse von Spezifikationen und einer
grafischen Oberfläche zum Spezifikations- und Beweismanagement mittels
Entwicklungsgraphen.

Dem Open-Source-Gedanken folgend stellt der Lizenzgeber diese Software
jedem interessierten Nutzer (im Folgenden: "Lizenznehmer") unter
folgenden, an der Lesser Gnu Public License (LGPL) orientierten,
Konditionen unentgeltlich zur Verfügung. Jeder Lizenznehmer
verpflichtet sich, die nachfolgenden Nutzungsbedingungen zu beachten.

§ 1 Grundsatz

Jedem Lizenznehmer wird ein einfaches, örtlich und zeitlich nicht
beschränktes Recht an der Software eingeräumt, unter Anerkennung
dieser Nutzungsbedingungen die Software lizenzgebührenfrei umfassend
zu nutzen, insbesondere zu vervielfältigen, zu verbreiten und zu
verarbeiten. Es gelten ausschließlich die nachfolgenden
Nutzungsbedingungen. Entgegenstehenden Allgemeinen
Geschäftsbedingungen wird ausdrücklich widersprochen. Durch Ausübung
der nachfolgend beschriebenen Rechte, insbesondere durch
Vervielfältigung oder Verbreitung der Software kommt ein Lizenzvertrag
zwischen Lizenzgeber und Lizenznehmer zustande.

§ 2 Vervielfältigung

Der Lizenznehmer hat das Recht, auf beliebigen Medien unveränderte
Kopien der Software anzufertigen und zu verbreiten. Voraussetzung
dafür ist, dass auf jeder Kopie ein Hinweis auf den Lizenzgeber und
diese Lizenzvereinbarung deutlich erkennbar ist, und die Quelltexte
zusammen mit der Software zur Verfügung gestellt werden.

§ 3 Veränderung und Verbreitung

Der Lizenznehmer hat das Recht, Kopien der Software oder von Teilen
davon zu verändern und diese Veränderungen unter den Bedingungen des §
2 dieser Vereinbarung und den nachfolgenden Voraussetzungen zu
verbreiten:

1. Die veränderte Software muss mit einem deutlich erkennbaren Vermerk
versehen sein, der auf den ursprünglichen Lizenzgeber und die
vorgenommene Modifizierung hinweist und das Datum der Änderung angibt.

2. Der Lizenznehmer muss sicherstellen, dass die Software als Ganzes
oder von Teilen davon Dritten unter den Bedingungen dieser
Lizenzvereinbarung ohne Lizenzgebühren zur Verfügung gestellt wird.

3. Entsteht bei der Bearbeitung ein Urheberrecht des Lizenznehmers, so
ist dieses Recht den Bestimmungen dieser Vereinbarung zu unterstellen,
wenn das neue Werk verbreitet wird.

§ 4 Sonstige Verpflichtungen

1. Hinweise auf die Geltung dieser Lizenzvereinbarung dürfen vom
Lizenznehmer nicht verändert oder gelöscht werden.

2. Die Nutzung der Software durch Dritte darf nicht von der Erfüllung
von Verpflichtungen abhängig gemacht werden, die nicht in dieser
Vereinbarung aufgeführt sind.

3. Die Nutzung der Software darf nicht durch technische
Schutzmaßnahmen, insbesondere Kopierschutzvorrichtungen, verhindert
oder erschwert werden.

§ 5 Gewährleistungsausschluss, Aktualisierung

1. Die Mängelgewährleistung des Lizenzgebers beschränkt sich auf
arglistig verschwiegene Sach- oder Rechtsmängel. Der Lizenzgeber gibt
keinerlei Garantien ab und sichert keine Eigenschaften zu. Er haftet
im übrigen nur für solche Schäden, die auf einer vorsätzlichen oder
grob fahrlässigen Pflichtverletzung beruhen.

2. Der Lizenzgeber ist berechtigt, diese Nutzungsbedingungen jederzeit
zu aktualisieren.

§ 6 Nutzerforum

Der Lizenzgeber leistet weder Support noch Beratung. Ohne Anerkennung
einer Rechtspflicht wird sich der Lizenzgeber bemühen, ein Nutzerforum
einzurichten, in dem Beiträge, die sich auf die Software oder deren
Weiterentwicklung beziehen, veröffentlicht werden können.

§ 7 Rechts- und Gerichtsstandsvereinbarung

Es wird die Geltung des Rechts der Bundesrepublik Deutschland
vereinbart. Für Streitigkeiten, die aus dieser Vereinbarung entstehen,
wird die ausschließliche Zuständigkeit der deutschen Gerichte
vereinbart. Gerichtsstand ist Bremen.

§ 8 Beendigung bei Zuwiderhandlung

Jede Verletzung einer Verpflichtung dieser Vereinbarung beendet
automatisch die Nutzungsrechte des Zuwiderhandelnden.

§ 9 Salvatorische Klausel

Sollten einzelne Bestimmungen dieser Vereinbarung unwirksam sein oder
werden, wird die Gültigkeit der übrigen Bestimmungen nicht
berührt. Die Parteien werden sich bemühen, die ungültige Klausel durch
eine dem Vereinbarungszweck nahekommende zu ersetzen.

Add New License

License : Hets License