Heute ist Blog Aktions-Tag. Dies ist ein Tag, um auf die Menschenrechte oder deren Mangel in der Welt aufmerksam zu machen. Als Unternehmen müssen wir daran interessiert sein, profitabel zu sein. Nichtsdestotrotz liegen unsere Wurzeln in der akademischen Welt, und unsere Produkte basieren auf Open Source. Daher haben wir eine starke Kultur des Teilens. Wir glauben, dass
Ähnliche Beiträge
Formal Mind auf der EclipseCon 2011
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.
Erfahren Sie mehr über Requirements und Systems Engineering
Mit dem kostenlosen formalmind Studio ist es endlich möglich, professionelles Requirements Engineering zu betreiben, ohne Tausende von Euro in ein Tool zu investieren, das weit mehr bietet, als der typische Anwender benötigt. Während wir an der Verbesserung der Dokumentation arbeiten, kann der Einstieg eine Herausforderung sein. Aber keine Angst, Hilfe ist auf dem Weg. Abgesagter kostenloser Workshop:...
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...
Anforderungen und Modelle integrieren
Während Requirements Engineering an sich bereits nützlich ist, kann die Integration mit anderen Elementen aus dem Systementwicklungsprozess seinen Wert erheblich steigern. Wir haben dies in unserer wissenschaftlichen Arbeit bereits im Hinblick auf die Rückverfolgbarkeit oder unsere Überlegungen zur Integration mit Topcased angedeutet. Unsere neuesten Ideen wurden gerade zur Veröffentlichung eingereicht. Stellen Sie sich ein Szenario vor…
Warum Papier in der Welt der Modelle immer noch wichtig ist
Modellierung ist seit vielen Jahren ein aktuelles Thema, wobei UML eine der beliebtesten ist. Modelle haben viele Vorteile: Sie bieten Struktur, beseitigen Redundanzen und ermöglichen es, ausgefallene Dinge mit dem Modell zu tun, sogar die Generierung von Tests oder Code. Wir modellieren auch manchmal, ohne es überhaupt zu merken: Softwarecode repräsentiert auch…
Merken Sie sich den Termin vor: SysML, formale Semantik und ihre Anwendung im modellbasierten Testen (27. Mai 2013)
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...