Removant de liaison de la Fondation de l'équipe
Effacez vos projets de Foundation de l'équipe .NET ...
1.7 MB
 | Environnement pour vérification logicielle intégréeTraduire des séquences UML avec cet instrument |
| Télécharger maintenant | |
Environnement pour vérification logicielle intégrée Classement & Résumé
Publicité
- Licence:
- GPL
- Nom de l'éditeur:
- Marcelo M. Custodio
- Systèmes d'exploitation:
- Windows All
- Taille du fichier:
- 57 KB
Environnement pour vérification logicielle intégrée Mots clés
Environnement pour vérification logicielle intégrée La description
L'environnement pour la vérification des logiciels intégrés est construit comme un environnement capable de traduire des diagrammes de séquence UML sur des filets de Pétri et de vérifier les propriétés du système avec SMV. L'outil reçoit comme des diagrammes de séquence d'entrée de UML et fournit le réseau de Petri dans trois formats différents: · Apnn, · PNML, · SMV.
Environnement pour vérification logicielle intégrée Logiciels associés
Accélérateur Windows Azure pour rôles Web
Déployez un ou plusieurs sites Web sur plusieurs instances de rôle Web à l'aide du déploiement Web dans Windows Azure. ...
2.2 MB
Radvolution Designer - Edition standard 2005
Le moyen facile de concevoir et de gérer des formulaires professionnels .NET en un peu de temps ...
4.3 MB