Renouveler Software vous recommande d'utiliser TCM en conformité avec les règles de la propriété intellectuelle. Renouveler Software ne recommande pas l'utilisation de crack, serial, clé, keygen, crack, serial pour TCM
Les catégories de programmes les plus populaires Développement / Autre
programme Autres sociétés University of Twente
|
|||||||||||
| |||||||||||
révélateur:
vue d'ensemble TCM (traduction automatique)La Boîte à outils pour la modélisation conceptuelle est une collection d'outils logiciels permettant de présenter les spécifications de systèmes logiciels sous la forme de diagrammes, tableaux, arbres, et autres. TCM offre les éditeurs pour les techniques utilisées en analyse structurée ainsi que les éditeurs de orienté objet (UML) techniques. Pour certains des comportements techniques spécification, une interface de vérificateurs de modèle est offert. Plus en particulier, TCM contient les éditeurs suivants.- Éditeurs génériques générique pour les schémas et tableaux générique générique et arbres. Toutes les icônes disponibles peuvent être utilisés et aucun schéma syntaxique contraintes sont vérifiées. - Langage de Modélisation Unifié (UML) editeurs de structure statique ( c'est-à-dire classe et objet) schémas, un cas d'utilisation les diagrammes, diagrammes d'activité, statecharts, les diagrammes de collaboration, les diagrammes de composants et les diagrammes de déploiement. - Analyse structurée (SA) editeurs de diagrammes entité-relation, données et flux d'événements les schémas, les diagrammes de transition d'état, la fonction raffinement des arbres, transaction utilisent des tables et fonction-type d'entité tables. - Divers éditeurs comme pour JSD (structure du processus et les schémas de réseau), processus récursif graphiques et la décomposition de la transaction tables. Ces éditeurs ne sont plus mises à jour, mais ils resteront disponibles dans TCM. Principales caractéristiques : - interface graphique conviviale. Cliquez ici pour un cliché d'écran de l'un des éditeurs schéma et ici pour un cliché d'écran de l'un des éditeurs. - Support pour UML et structurée diagrammes d'analyse. - Certains diagramme de base règles de syntaxe sont intégrées, donc elles ne peuvent être violés lors de l'élaboration des schémas. Syntaxe douces contraintes sont vérifiées sur demande. - Prise en charge des diagrammes hiérarchiques. - La plupart TCM schéma les éditeurs sont graphique éditeurs, où les graphiques sont constitués de nœuds et bords présenté à l'utilisateur dans différents formats et avec diverses étiquettes. Les exceptions sont l'éditeur d'états-transitions, qui manipule higraphs hiérarchique avec les nœuds et le diagramme de séquence editor. - Le TCM rédacteurs la sortie TCM format de fichier, qui est un ensemble d'informations interprétables par l'à propos du diagramme. - TCM génère également PostScript, Encapsulated PostScript, PNG et les Fig format (Fig soit avec LaTeX ou polices PostScript). PNG peut être utilisée pour l'inclusion dans des documents Word et des pages web. La Fig format peuvent être transformés par xfig à produire d'autres formats tels que JPG et GIF. - Liens aux vérificateurs de modèle sont mises en œuvre. Une version prototype du diagramme d'activité éditeur est disponible pour le téléchargement, qui peut générer d'entrée pour le modèle NuSMV checker. Cette vérification permet de diagrammes d'activité utilisant NuSMV. Counterexamples généré par NuSMV sont affichés comme des traces à travers le diagramme d'activités. Voir notre page de téléchargement pour plus d'informations où obtenir ce prototype editor. - L'état de transition éditeur de diagramme peut être étendu avec vérification de modèle capacités trop. Veuillez vérifier le fichier Makefile correspondant pour plus de détails. |
Renouveler Software vous recommande d'utiliser TCM en conformité avec les règles de la propriété intellectuelle. Renouveler Software ne recommande pas l'utilisation de crack, serial, clé, keygen, crack, serial pour TCM
Les catégories de programmes les plus populaires Développement / Autre
|
programme Autres sociétés University of Twente
|
