Finden Sie hier die Liste mit den gefilterten Produkten auf Basis Ihrer aktuellen Auswahl.

HerstellerlogoHerstellerlogoHerstellerlogoHerstellerlogoHerstellerlogoHerstellerlogoHerstellerlogoHerstellerlogoHerstellerlogoHerstellerlogoHerstellerlogo

Facebook

 

PragmaDev, Modelling, Prozessorunabhängig

Herstellerlogo
Modelling

Real Time Developer Studio

Modellbasierte Softwareentwicklung

RTDS ist ein Werkzeug zur formalen Spezifikation, zum Entwurf, Simulation und Test speziell von Echtzeit- und eingebetteten Applikationen, kurzum es unterstützt eine vollständige formale Modell basierte Softwareentwicklung für Embedded Systeme.

Sparen Sie wertvolle Softwareentwicklungszeit in Ihrem Projekt und verbessern Sie die Qualität der Software.

  • Erhöhung der Software-Qualität um Faktor 5
  • Reduktion der Entwicklungszeit um 35%
  • Automatisch erzeugte Dokumentation
  • RTOS unabhängige, portable Anwendungen
  • formal überprüfbare Modelle
  • Traceability Information
Herstellerlogo
Modelling

MSC Tracer

PragmaDev MSC Tracer ist ein graphisches Trace-Tool das auf dem ITU-T Message Sequence Chart und OMG UML2.0 Sequence Diagram Standards basiert.

Es liefert eine graphische Darstellung von: Tasks, States, Messages, Semaphores, Timer, Objects

Inhalt abgleichen