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....
Formal Mind freut sich, Sie zu folgender Veranstaltung mit Professor Jan Peleska und Professor Wen-Ling Huang einzuladen: SysML, Formal Semantics and Their Uses in Model-Based Testing Montag, 27. Mai 2013, 10:00-12:30 Universität Düsseldorf Raum 25.12.2.55 Der Vortrag wird in deutscher Sprache gehalten. Die Teilnahme ist kostenlos. Nicht-Fakultätsmitglieder melden sich bitte unter info@formalmind.com an...
Formaler Geist freut sich, Sie auf der folgenden Veranstaltung mitProfessor Jan Peleska und Professor Wen-Ling Huang zu laden: n n SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen Montag, 27. Mai 201310:00-12:30 Universität Düsseldorf Raum 25.12.2.55 Vortrag wird in deutscher Sprache abgehalten werden. Nicht-Mitglieder des Lehrkörpers, Anmeldung erbeten bei info@formalmind.com Abstract: Die...
Wir freuen uns, die Veröffentlichung von RMF ProR 0.7.0 und ProR Essentials 0.7.0 bekannt geben zu können. Sie können sie jetzt von der Eclipse Website herunterladen. Wenn Sie bereits ProR 0.5.0 oder eine neuere Version haben, aktualisieren Sie einfach über Hilfe | Nach Updates suchen. In der Version 0.7.0 wurden 16 Features und Bugs implementiert/behoben. Die größte sichtbare Verbesserung für Benutzer ist...
Der Atlas ist ein bemerkenswerter Detektor. Er wiegt so viel wie der Eiffelturm, besteht aus 10 Millionen Teilen und erzeugt jeden Tag mehr Daten als Twitter. Aber wie in einem kürzlich erschienenen Artikel des Economist zu lesen ist, ist die Tatsache, dass es sich um eine Zusammenarbeit von mehr als 3.000 Forschern aus 175 Instituten in 38 Ländern handelt, ebenso beeindruckend...
Da immer mehr Werkzeuge auf dem Markt ReqIF unterstützen, wird es immer wichtiger, die erzeugten Dateien zu überprüfen und Fehler zu beheben. Dies wird derzeit systematisch vom ReqIF Implementor Forum durchgeführt, einer Projektgruppe, die die Interoperabilität zwischen verschiedenen ReqIF-basierten Implementierungen sicherstellt. Wir unterstützen dieses Forum durch die Erstellung von...
Wenn Sie RMF/ProR Version 0.6.0 heruntergeladen haben, kann es sein, dass Sie ein Problem hatten, wenn Sie eine ältere Java-Version (genauer gesagt, weniger als Java 7) verwendet haben. Wir haben soeben ein Service-Update veröffentlicht, das diese ziemlich strenge und unnötige Anforderung lockert. Sie brauchen die neue Version nicht herunterzuladen, aktualisieren Sie einfach über Hilfe | Nach Updates suchen. Dies...
Wir freuen uns, die Veröffentlichung des Snapshots von ProR 0.6.0 bekannt geben zu können. Diese Version befindet sich zwar noch in der Entwicklungsphase, bietet aber einige wesentliche Verbesserungen in Bezug auf die Benutzerfreundlichkeit. Wenn Sie ProR 0.5.0 verwenden, können Sie Ihre Installation einfach über Hilfe | Nach Updates suchen aktualisieren. Probieren Sie es jetzt aus, oder laden Sie es hier herunter. Die Highlights von 0.6.0 sind:...
Update: Die hier gezeigten Informationen sind veraltet. Der aktuelle Stand der Teamunterstützung ist im fmStudio-Handbuch beschrieben. Wir arbeiten an einer kommerziellen Teamunterstützung. Wenn dies für Sie von Interesse ist, dann lassen Sie es uns bitte wissen, damit wir Sie informieren können, wenn es verfügbar ist. Kürzlich haben wir ReqIF-comparing als erstes...
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...
