Il s'agit de l'application Linux A-Spec, dont la dernière version est téléchargeable sous le nom a-spec.V0.6.1a.tar.gz. Elle peut être exécutée en ligne sur l'hébergeur gratuit OnWorks pour postes de travail.
Téléchargez et exécutez en ligne cette application nommée A-Spec avec OnWorks gratuitement.
Suivez ces instructions pour exécuter cette application :
- 1. Téléchargé cette application sur votre PC.
- 2. Entrez dans notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous voulez.
- 3. Téléchargez cette application dans ce gestionnaire de fichiers.
- 4. Démarrez l'émulateur en ligne OnWorks Linux ou Windows en ligne ou l'émulateur en ligne MACOS à partir de ce site Web.
- 5. Depuis le système d'exploitation OnWorks Linux que vous venez de démarrer, accédez à notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous souhaitez.
- 6. Téléchargez l'application, installez-la et exécutez-la.
A-Spéc.
Ad
DESCRIPTION
Un langage de spécification de conception basé sur la notation Z et CSP.
Comment ça marche
- Notation CSP
- Notation Z
- Sortie LaTeX
- Sortie de l'arbre de syntaxe XML
- Sortie de l'arbre syntaxique GraphViz
Audience
Science/Recherche, Éducation, Industrie des télécommunications, Développeurs, Ingénierie
Interface utilisateur
Console/Terminal, ligne de commande
Cette application peut également être téléchargée depuis https://sourceforge.net/projects/a-spec/. Elle est hébergée sur OnWorks afin de pouvoir être exécutée en ligne plus facilement depuis l'un de nos systèmes d'exploitation gratuits.
