Ein erster Prototyp eines ProB Logic Calculators ist jetzt online verfügbar. Mit ihm können Sie beliebige Ausdrücke und Prädikate (in B-Syntax) auswerten. Dies ist eine hervorragende Möglichkeit, etwas über B, Prädikatenlogik und Mengenlehre zu lernen oder einfach nur arithmetische Einschränkungen und Rätsel zu lösen. Eine alternative eingebettete ProB Logic Shell ist direkt…
Die Präsentation von ProR und RMF auf der ReConf diese Woche in München wurde gut angenommen. Wir erhielten viel konstruktives Feedback sowohl von tatsächlichen als auch von potenziellen Anwendern sowie von Mitwirkenden. Wir haben uns verpflichtet, alle zwei Monate eine Snapshot-Version zu erstellen, und werden uns nun darauf konzentrieren, den März-Snapshot fertigzustellen. Die…
(Entschuldigung für Englischsprachige: Dies ist eine Ankündigung auf Deutsch für eine deutschsprachige Veranstaltung) Innovationen vorstellen, Wissen austauschen und Kooperationen anregen das ist das Motto der Veranstaltungsreihe Science meets Industry an der Heinrich-Heine-Universität Düsseldorf (HHU). Beim nächsten Treffen am 20. März 2012 werden die Projekte aus dem Bereich Softwaretechnik und dynamische Programmiersprachen vorgestellt, von...
Die ReConf ist eine der größten Anforderungskonferenzen in Europa, und Michael Jastram ist seit 2007 ein regelmäßiger Redner. Dieses Jahr wird er zwei Vorträge halten: Strukturierung von Anforderungen für eine enge Integration mit Modellen: Anforderungsmanagement und Modellierung sind verwandt und komplementär, aber wie eng sind sie in der Praxis integriert? Nehmen Sie SysML als Beispiel...
Gute Nachrichten für alle, die sich für ProR interessieren - wir haben endlich einen Snapshot-Build auf der RMF-Website verfügbar. Wenn Sie an ProR, ReqIF usw. interessiert sind, sollten Sie es ausprobieren. Das letzte Release fand im August 2011 statt - eine Ewigkeit, was die Software betrifft. Der Grund für diese lange...
Was passiert, wenn man mit der UML beginnt, ein wenig wegnimmt, etwas Neues hinzufügt und es ein wenig verändert? Je nachdem, was man genau hinzufügt, landet man bei der SysML. SysML hat in der Requirements-Engineering-Gemeinschaft (RE) für einige Aufregung gesorgt, da sie einige rudimentäre Werkzeuge zur Erstellung der Rückverfolgbarkeit zwischen Anforderungen und Modellelementen bietet....
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...
Es hat lange gedauert, aber wir haben es endlich geschafft: RMF, und damit auch ProR, hat den Eclipse IP Review bestanden. Ein Grund zum Feiern! Was ist nun der nächste Schritt? Wir werden das Eclipse Repository auffüllen und die Entwicklung endlich wieder aufnehmen. Außerdem werden wir uns bemühen, so bald wie möglich ein Release zu erstellen. Das...
Erinnern Sie sich noch daran, wie Sie zum ersten Mal mit einem Werkzeug gearbeitet haben, das die Rückverfolgbarkeit unterstützte? Was für eine Veränderung, wenn man von, sagen wir, Word für die Erfassung von Anforderungen zu DOORS wechselt. Und erinnern Sie sich an den Moment, als die Flitterwochen vorbei waren? Es gibt viele Dinge, die die Rückverfolgbarkeit von Anforderungen frustrierend machen können: Was genau ist die Bedeutung eines Trace? ...
Wir werden mit einem Vortrag auf der EclipseCon 2011 in Ludwigsburg vertreten sein. Am 3. November um 16:30 hält Michael Jastram mit Andreas Graf den Vortrag Requirements Modeling Framework: a Game-Changer.
