ProB 1.3.3 und ProB für Rodin 2.1 sind verfügbar. Highlights: verbesserte Leistung, ereignisbasierte Sperrprüfung, Record-Erkennung und viele mehr.
Erfahren Sie mehr über ProB Seiten.
Ähnliche Beiträge
Wartezeiten sind in keinem Budget vorgesehen
Das Seminar am 21. und 22. September in Hamburg bei oose hilft Teams dabei, die Produktentwicklung zu beschleunigen.
Ist Eclipse Papyrus bereit für die Industrie?
Der heutige Gastartikel stammt von Carsten Pitz, der seine Erkenntnisse über den aktuellen Stand von Papyrus für die Modellierung teilt, was für unsere Leser von Interesse sein dürfte. Insbesondere lässt sich Papyrus als Eclipse-basierte Werkzeugsuite mit ReqIF Studio integrieren. Dennoch hat Papyrus den Ruf, nicht industriegeeignet zu sein, da es...
Manuelles Testen mit ProR
Automatisierte Tests sind großartig (wir nutzen sie – das RMF-Projekt führt derzeit über 200 automatisierte Tests durch, die alle bestanden werden). Aber es gibt einige Situationen, in denen sich die Automatisierung von Tests einfach nicht lohnt – GUI-Tests sind ein Beispiel. Daher müssen die manuellen Tests und ihre Ergebnisse irgendwo aufgezeichnet werden. Ein offensichtlicher, schneller Ansatz…
Visualisieren Sie Ihre Anforderungen (und sehen Sie sich den Vortrag auf der ReConf 2015 an)
Anforderungen erfordern einige Mühe, um sie zu lesen und zu verstehen. Aber was wäre, wenn man sie zum Leben erwecken könnte? Das ist möglich, und Sie können dies auf der diesjährigen ReConf im Science Track am Montag, den 16. März 2015 sehen. Besuchen Sie unseren Stand auf der ReConf 2015. Bitte kontaktieren Sie uns, um einen Rabattcode zu erhalten. Ganz gleich...
Wird die UML-Modellierung mit Papyrus ein Erfolg im Jahr 2016 und darüber hinaus sein?
Papyrus ist ein quelloffenes Modellierungswerkzeug, das Teil des Eclipse-Ökosystems ist. Wer mit Eclipse arbeitet oder eine Plattformlösung sucht, sollte sich Papyrus genauer ansehen. [pullquote2 style=”right” quote=”dark”]Papyrus ist ein erstaunliches Projekt. Wenn überhaupt, dann unterstreicht mein Kommentar die hohen Erwartungen, die wir heutzutage an Open Source haben….
Verwendung von RMF zur Integration Ihrer Modelle
Wir haben es alle schon erlebt: Sie müssen eine Spezifikation schreiben, also öffnen Sie Word, schreiben etwas Text, kopieren ein Zustandsdiagramm aus Enterprise Architect und schicken es schließlich als PDF ab. Okay, jetzt ist alles etwas besser. Im Eclipse-Ökosystem verwenden Sie vielleicht Papyrus für die Modellierung mit UML oder SysML. Sie...
