Besuchen Sie uns in Braunschweig unter Formulare/Format

Den Kern der B-Methode bildet eine sehr ausdrucksstarke Sprache, die in der Prädikatenlogik, der Mengenlehre, dem Relationenkalkül, Funktionen höherer Ordnung und der Arithmetik wurzelt. Das Herzstück unseres ProB-Toolsets ist ein Evaluator und Constraint Solver für diese Sprache. Wir streben sowohl Effizienz als auch Korrektheit an, so dass das Tool in einem sicherheitskritischen Kontext verwendet werden kann....

Merge-Konflikte In einer Team-Umgebung besteht immer das Risiko eines Merge-Konflikts. Ohne einen Konflikt führt das Team-Plug-in Änderungen bei der Aktualisierung automatisch zusammen. Wenn jedoch ein Konflikt auftritt, muss der Benutzer eingreifen. Die Übergabe wird zwar immer noch ausgelöst, aber der Benutzer erhält eine Meldung, dass die Übergabe nicht möglich ist, es sei denn...

Das RMF-Team ist stolz, die Verfügbarkeit von ProR 0.4.0 bekannt zu geben. Sie können es von der Eclipse RMF Download Seite herunterladen. Wir hoffen, dass Sie sich die Zeit nehmen werden, es auszuprobieren. Dieser Build behebt 21 Bugs und Feature Requests, darunter: Bessere Performance - es wurde ein Cache implementiert, um die Spezifikation zu...

Das Requirements Interchange Format (ReqIF) dient, wie der Name schon sagt, dem Austausch von Anforderungen. Meistens wird man aber mehr als nur einen Austausch durchführen, und wenn man das tut, möchte man vielleicht wissen, was sich zwischen zwei Versionen tatsächlich geändert hat. Das ist eigentlich nichts Neues, und unser kostenloses formalmind Studio hat…