Invia software
  1. Casa
  2. Windows
  3. Altro
  4. bpel2pml

bpel2pml

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

Un plug-in Eclipse che converte i file BPEL in file Promela richiede eclipse bpel designer plugin http://www.eclipse.org/bpel/

cronologia delle versioni

  • Versione files pubblicato il 2009-11-13
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2009-11-13

Dettagli del programma

Programmi correlati

  • Web PhotoAlbum Prova gratuita

    Pubblicare le foto digitalmente sul sito Internet. Il programma crea un sito Web pronto all'uso dalle tue foto. Crea un sito di panoramica con miniature delle foto. Per vedere l'immagine a grandezza naturale devi fare clic su

  • Web Binder Gratuito

    Web Binder è un pacchetto CMS TikiWiki personalizzato incentrato sull'usabilità, progettato da Co-op Tools. Viene eseguito su server LAMP comuni, ad esempio quelli supportati da cPanel. Scarica tramite una versione stabile di

  • SaveGamer Gratuito

    SaveGamer semplifica la ricerca e il backup dei salvatari.

  • TripleTap javascript Control Gratuito

    Controllo TripleTap javascript per le pagine Web MediaCenter. Questo è il mio primo esperimento su MediaCenter. Questo controllo consente di scrivere testo tramite telecomando, in modalità più semplice, utilizzando metodi tri

  • ZCrypt Gratuito

    ZCrypt è una libreria per un facile uso delle funzioni crittografiche (cioè algoritmi di hash e cifratura) in altri programmi. È un'interfaccia semplice che fornisce la crittografia, la decrittografia e la creazione di digest

  • Ginetob - The new BenMP3 Gratuito

    Ginetob (Ginetob Is Not Exactly The Old BenMP3) è il lettore audio BenMP3 versione 2. Può riprodurre i formati sonori più noti, come MPx, Ogg, Wav, Aiff, Mod, Xm, It e altri. È incluso un lettore CD.

  • Mosaico Gratuito

    Innegno integrato dell'applicazione Mosaico chiamato MosaicoSfera: gestione aziendale, calendario personale e di gruppo con agenda collaborativa, to-do-list, promemoria, client Webmail integrato, CRM, sistema di archiviazione

  • Chaos Engine VSI Gratuito

    Chaos Engine è un'infrastruttura server virtuale basata sulla prossima tecnologia Windows Vista. Consente l'archiviazione dei dati, gli strumenti di amministrazione middleware RFID, l'analisi dei dati e l'emulazione nativa de

  • ExEf - guitar effect processor Gratuito

    ExEf (Extreme Effect) è un motore ad effetto Real Time estremamente potente e flessibile in esecuzione su un PC sotto LINUX. È progettato per funzionare con chitarre, microfoni e altri strumenti. Può essere eseguito sia in X

  • Downcount Timer Gratuito

    Un semplice timer di downcount. Basta digitare l'ora in cui si desidera contare e premere 'Start'. Premere 'Interrompi' se si desidera interrompere.