ProB 1.3.4 ist verfügbar. Die Highlights dieser Version sind: eine “Auswertungsansicht” zur Inspektion von Formeln und Werten, ein interaktives “Eval”-Fenster zur Auswertung von Ausdrücken und Prädikaten, Unterstützung für CSP-Assertion-Checking, ein verbesserter Editor, z.B. mit On-the-fly-Syntax-Highlighting, 64-Bit-Versionen für Mac und Linux sind jetzt verfügbar, verschiedene Leistungsverbesserungen. Weiter zum...
ProB 1.3.4 ist verfügbar. Die Highlights dieser Version sind:
Geh zu dem ProB Download-Seite.
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:...
Michael Jastram wird im September 2025 ein Webinar zu SysML-Schnittstellen und eine Keynote zu Product Velocity halten. Beachten Sie das kommende Buch!
[vc_row][vc_column width=”1/4″][vc_single_image image=”416″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column width=”3/4″][vc_column_text] Ausgangssituation resolut ist ein mittelständisches Unternehmen, das Lösungen für komplexe Mechatroniksysteme und sicherheitskritische Anwendungen entwickelt. Viele Jahre haben Office-Lösungen gute Dienste geleistet, um die Anforderungen zu verwalten. Nicht zuletzt durch die steigenden Erwartungen der Kunden und die steigende Komplexität der Systeme, erreichte die Office-basierte Lösung ihre Grenzen. [/vc_column_text][/vc_column][/vc_row][vc_row][vc_column…
In diesem Interview erläutert Joe Justice das Konzept von „Agile Hardware“ und zeigt gemeinsam mit Michael Jastram dessen Überschneidungen mit dem Konzept der „Product Velocity“ auf.
Die ReConf ist die größte Konferenz für Requirements Engineering in Europa. Formal Mind war natürlich dabei, sowohl mit einem Vortrag als auch als Aussteller. Wir haben bereits einen Rückblick veröffentlicht. Zur gleichen Zeit betreuten wir eine Gruppe von Studenten, die am Entrepreneurship Lab der Universität Düsseldorf teilnahmen. Zwei von ihnen...
Das RMF-Team freut sich, die Veröffentlichung von RMF und ProR Version 0.3.0 bekannt zu geben. Wenn Sie derzeit eine ältere Version verwenden, stellen Sie bitte sicher, dass Sie ein Update durchführen. Bitte beachten Sie, dass es für Version 0.3.0 eine separate Update-Site gibt, sodass Sie das Update nicht automatisch erhalten. Sie können ProR hier herunterladen. Wir glauben, dass ProR jetzt erreicht hat…
