Erneuern Software empfiehlt die Verwendung der TCM in Übereinstimmung mit den Regeln des geistigen Eigentums. Erneuern Software nicht mit crack, serial empfiehlt, Schlüssel, keygen, crack, serial für TCM
Die beliebtesten Programmkategorien Entwicklung / Andere
Andere Firmen-Programm University of Twente
|
|||||||||||
| |||||||||||
Entwickler:
Überblick TCM (automatische Übersetzung)Das Toolkit für die konzeptionelle Modellierung ist eine Sammlung von Software Tools, Spezifikationen der Software und der Systeme in Form von Diagrammen, Tabellen, Bäume, und das wie. TCM bietet Editoren für Techniken der strukturierten Analyse sowie Editoren für objektorientierte (UML) Techniken. Für einige der Spezifikation Verhalten Techniken, eine Schnittstelle zur Modellüberprüfung angeboten wird. Mehr insbesondere TCM enthält die folgenden Editoren.- generisch Editoren für generische Diagramme, Tabellen und generic generic Bäume. Alle verfügbaren Symbole verwendet werden können und keine syntaktischen Schema Zwänge werden überprüft. - Unified Modeling Language (UML) Editoren für statische Struktur (d. h. Klasse und Objekt) Diagramme, use-case Diagramme, Aktivitätsdiagramme, Statecharts, Kollaborationsdiagramm, Komponentendiagramme und Bereitstellungsdiagrammen. - Strukturierte Analyse (SA) Editoren für Klassendiagramme, Daten und bei Abbildungen, Diagramme, Funktion Verfeinerung Bäume, Transaktion-Tabellen und Funktion-Entitätstyp Tabellen. - Verschiedene Editoren wie für JSD (Prozess Struktur und Netzwerkdiagramme), rekursive Prozess Diagramme und Tabellen Transaktion Zersetzung. Diese Editoren werden nicht mehr aktualisiert, aber sie bleiben verfügbar innerhalb TCM. Wesentliche Merkmale: - benutzerfreundliche grafische Oberfläche. Klicken Sie hier für eine Bildschirmkopie einer der Zeichnungsbearbeiter und hier für eine Bildschirmkopie einer der Tabelle Editoren. - Unterstützung von UML und strukturierte Analyse Diagramme. - Einige grundlegende Regeln der Syntax Schaltplan sind integriert, sodass diese nicht verletzt werden bei der Erstellung der Schaltpläne. Soft Syntax constraints werden überprüft auf Anfrage. - Unterstützung für hierarchische Schaltpläne. - Die meisten TCM-Diagramm Diagramm Editoren Editoren sind, wo Grafiken bestehen aus Knoten und Kanten dargestellt, die Benutzer in verschiedenen Formaten und mit verschiedenen Etiketten. Ausnahmen sind die Statechart Editor, dass manipuliert higraphs mit hierarchische Knoten, und die Sequenz Diagramm Editor. - Die TCM-Redaktion Ausgabe der TCM-Format, die ein Set von Menschen lesbar Informationen über den Schaltplan. - TCM generiert auch PostScript, Encapsulated PostScript, PNG und der Fig format (Abb. mit LaTeX- oder PostScript Fonts). PNG kann verwendet werden für die Aufnahme in Word Dokumente und Webseiten. Die Fig format können weiter verarbeitet werden, indem xfig zu produzieren andere Formate wie JPG und GIF. - Links zu model Checkers umgesetzt werden. Der Prototyp einer Version des Aktivitätsdiagramm editor ist zum Herunterladen verfügbar, dass generieren kann Input für die NuSMV model Checker. Dies ermöglicht die Überprüfung der Aktivitätsdiagramme mit NuSMV. Counterexamples erzeugt durch NuSMV werden als Spuren durch das Aktivitätsdiagramm. Siehe unsere Download Seite für Informationen wo man den Prototyp Editor. - Der State Transition Diagram Editor kann erweitert werden mit Modell prüfen können. Bitte überprüfen Sie die entsprechende Makefile für Details. |
Erneuern Software empfiehlt die Verwendung der TCM in Übereinstimmung mit den Regeln des geistigen Eigentums. Erneuern Software nicht mit crack, serial empfiehlt, Schlüssel, keygen, crack, serial für TCM
Die beliebtesten Programmkategorien Entwicklung / Andere
|
Andere Firmen-Programm University of Twente
|
