RMF im Eclipse Magazin

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...

Dies ist tatsächlich der 50. Beitrag im Formal Mind Blog. Ein Grund zum Feiern, aber auch ein Grund zum Nachdenken. Das Ziel dieses Blogs ist es, unsere Leser über die Wissenschaft im Bereich der Systemtechnik zu informieren. Leisten wir gute Arbeit? Um das herauszufinden, haben wir eine kurze einseitige Umfrage zum Inhalt des Blogs...

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...

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…

Das Requirements Interchange Format (ReqIF) hat einen langen Weg hinter sich, seit es 2004 ins Leben gerufen wurde. Damals beschlossen die Mitglieder der Herstellerinitiative Software (HIS), einem Zusammenschluss von fünf großen Automobilherstellern, die Erstellung eines Anforderungsaustauschformats in Auftrag zu geben. Schritt für Schritt wurde der Standard ausgereifter und wechselte die Schirmherrschaft, bis er schließlich...