Maltcms
analyse facilement, traiter et visualiser des données stockées dans des formats de fichier ouverts utilisés dans la recherche en protéomique et en métabolomique ...
42.1 MB
| | SYSPECTUn environnement de développement graphique gratuit pour les sous-ensembles UML |
| Télécharger maintenant | |
SYSPECT Classement & Résumé
Publicité
- Licence:
- GPL
- Prix:
- FREE
- Nom de l'éditeur:
- Syspect Team
- Site Internet de l'éditeur:
- Systèmes d'exploitation:
- Mac OS X
- Taille du fichier:
- 36.3 MB
SYSPECT Mots clés
SYSPECT La description
Un environnement de développement graphique gratuit pour les sous-ensembles UML SYSPECT est un environnement de développement graphique gratuit et open source pour un sous-ensemble UML avec une sémantique formelle en fonction de la langue csp-oz-DC. Csp-Oz-DC combine le processus d'algèbre de processus pour la spécification du comportement de la communication et du processus, l'objet de la méthode-Z, qui décrit des données et des opérations, ainsi que du calcul de la durée pour caractériser les exigences de temps. SYSPECVE Permet à l'utilisateur de concevoir des composants, des classes et des statistiques. Les problèmes survenants au cours d'une exportation seront identifiés et marqués visuellement. Pour la formalisation des données, l'outil offre différentes possibilités d'entrée, comme une entrée graphique pour la langue de spécification Z. En outre, l'outil comprend un éditeur de formules de calcul de la durée. SYSPECT prend en charge la sauvegarde des modèles en XMI ainsi que son propre format de données. Outre une exportation graphique pour les types d'image courants, la SYSPECVE ENVIROMENT DE DÉVELOPPEMENT Prend en charge une exportation de latex pour une présentation pratique d'une spécification.syspective propose une traduction de la spécification en automate d'événement de phase. Ceux-ci peuvent être lus par modèle de vérification des outils à des propriétés vérifiées (sécurité) de la spécification. Actuellement, une connexion automatisée à l'ARMC de modèle de modèle est disponible: le modèle SYSPECT peut automatiquement être vérifié contre les formules de calcul de la durée. Si l'ARMC détecte une erreur et renvoie un exemple d'exemple SYSPECTURE visualise cet exemple de contre-exemple de manière conviviale.
SYSPECT Logiciels associés
