Il s'agit de l'application Linux VDMPad, dont la dernière version est téléchargeable sous le nom VDMPad-2.13.zip. 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 gratuitement cette application nommée VDMPad avec OnWorks.
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.
CAPTURES D'ÉCRAN
Ad
VDMPad
DESCRIPTION
VDMPad est un serveur Web IDE simple pour VDM-SL basé sur VDMJ et Squeak Smalltalk.
Vous pouvez lancer un serveur VDMPad sur votre Mac ou PC Linux et ouvrir « http://localhost:8085 » avec votre navigateur.
Bien que VDM ne fonctionne PAS sur les plates-formes Windows, vous pouvez utiliser des appareils Windows/iOS/Android pour ouvrir VDMPad exécuté sur un serveur Mac ou Linux.
Audience
Technologies de l'information, Développeurs
Interface utilisateur
Basée sur le Web
Langage de programmation
Smalltalk, JavaScript
Cette application peut également être téléchargée depuis https://sourceforge.net/projects/vdmpad/. 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.
