Abonnieren

Dienstleistungen

Schulungen

Formal Mind bietet eine Anzahl von Schulungen, die wir bei Ihnen vor Ort durchführen.  Als Schulungssprache haben Sie die Wahl zwischen Deutsch oder Englisch.  Sprechen Sie uns bei Interesse gerne an:

  • Anforderungsmanagement mit formalmind Studio. Vertiefen Sie Ihre Kenntenisse im Anforderungsmanagement, indem Sie effektiv Werkzeuge einsetzen.
    Mehr erfahren >>
  • Systems Engineering with Eclipse. Eclipse ist eine aus der Softwareentwicklung bekannte, quelloffene Plattform für die Entwicklung von Anwendungssoftware.  Inzwischen wird Eclipse aber auch vermehrt in der modellgetriebenen Systementwicklung genutzt.  In diesem Workshop lernen Sie, wie Sie Eclipse als Integrationsplatform einsetzen können, und welchen Mehrwert dies in der Praxis bringt.
    Mehr erfahren >>
  • Formale Methoden – wie geht das eigentlich? Immer häufiger wird im sicherheitskritischen Bereich der Einsatz von formalen Methoden empfohlen, zum Beispiel von IEC 61508, ISO 26262 oder DO-178B/DO-254.  Dabei stellt sich oft die Frage, was es genau bedeutet, formale Methoden einzusetzen, und welchen Mehrwert dies in der Praxis bringt.
    Mehr erfahren >>
  • ReqIF ist da – das Requirements Interchange Format. Dieser Workshop stellt das Requirements Interchange Format (ReqIF) vor und diskutiert Implikationen, Werkzeuge und natürlich den Mehrwert von ReqIF für Ihre Organisation.
    Mehr erfahren >>

Dienstleistungen bezüglich ProR und RIF/ReqIF

Wenn Sie RIF/ReqIF einsetzen wollen oder bereits einsetzen, dann haben Sie mit und den Experten gefunden.  Als Initiator und größter Beitragsleister zu Eclipse RMF, der Referenz-Implementierung von ReqIF, haben wir ein tiefes Verständnis des Standards.  Wir können das Quelloffene ProR für Sie anpassen, oder Ihnen mit unserer Expertise zur Seite stehen.

Dienstleistungen bezüglich ProB

Wenn Sie in Ihrer Organisation formale Methoden einsetzen – egal ob EventB, SCP, VDM or Z – dann kann Ihnen der Einsatz von ProB viel Zeit und Mühe sparen.  ProB ist weit mehr als nur ein Modelchecker, es ist ein umfangreiches Validierungs-Framework.  Wir können ProB für Sie anpassen, oder das Tool in Ihre Werkzeugumgebung integrieren.  Wir können auch Validierungen in Ihrem Auftrag druchführen.

Support

Falls Sie sich für den Einsatz von formalmind Studio, Eclipse ProR oder ProB entscheiden, dann stehen wir Ihnen mit allen entsprechenden Dienstleistungen zur Seite – einschließlich Schulung, Anpassung, Integration und Pflege und Support.

Image courtesy of photostock at FreeDigitalPhotos.net