Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. a validating tool of BPEL programme
  5. Download

a validating tool of BPEL programme 1.0

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi

Tentang a validating tool of BPEL programme

Projek ini mencadangkan alat untuk pengesahan rasmi komposisi perkhidmatan web berdasarkan Pi-kalkulus dan penukaran antara BPEL dan pi-kalkulus. Alat ini mengintegrasikan dua jenis teknik pengesahan rasmi dan boleh mengesahkan secara automatik.

Atur Cara Berkaitan

  • Kernel Module Examples Percuma

    Modul Kernel Yang Boleh Dimuatkan - contoh bagaimana untuk kod Modul Kernel Yang Boleh Dimuatkan.

  • J-Hop Gnutella System Percuma

    Modular Gnutella berkhidmat dengan GUI, teks dan antara muka kelompok. Dibangunkan menggunakan Java1.4 I/O baru dan rangkaian API. Dioptimumkan untuk sambungan lebar jalur rendah dan ADSL.

  • dasmarm Percuma

    Pembongkaran dan pemasang untuk Windows Mobile dengan pemproses ARM. Disusun dengan Pelles C pada Windows XP.

  • Cojen - Java bytecode generator Percuma

    Penjanaan akod Jawa dinamik dan pembongkaran alat. Pembina membolehkan kod dijana dengan lebih mudah, bukannya perlu memilih arahan yang tepat. Kelas utiliti disediakan yang menunjukkan penjana kod dan pemuat.

  • digitalSTROM Percuma

    Kawal dan pantau isi rumah didayakan digitalSTROM anda menggunakan peranti Android anda melalui rangkaian Wi-Fi anda. Anda boleh menetapkan adegan ringan untuk memuatkan mood anda dan membuka, menutup atau menyesuaikan tirai

  • jamsel Percuma

    JAMSEL (Java API untuk Pemilihan Mesej) adalah pelaksanaan bersaji tinggi spesifikasi pemilihan JMS 1.1 untuk penapisan sebelah pelanggan. Java /C# API menyediakan sokongan untuk penyedia data JMS, TIBCO / RV, dan Hashtable.

  • animal battery widget *alpaca* Percubaan Percuma

    Comel ALPACA widget untuk memaparkan jumlah baki bateri.Memaparkan reka bentuk comel, kuasa bateri telefon pintar.Juga dipaparkan dalam nombor yang mudah dibaca.15 reka bentuk termasuk!Terbaik untuk skrin utama!Ia

  • LambdaMOO Server Percuma

    LambdaMOO adalah rangkaian yang boleh diakses, berbilang pengguna, programmable, sistem interaktif yang sesuai dengan pembinaan permainan pengembaraan berasaskan teks, sistem persidangan, dan perisian kolaboratif lain.

  • PPIV Percuma

    PPIV adalah aplikasi perisian selari yang digunakan dalam analisis Velocimetry Imej Zarah (PIV). Perisian ini akan mengira medan vektor untuk satu pasangan imej atau berbilang pasangan imej. PPIV boleh berjalan pada mesin des

  • HTC One LED Flashlight Percubaan Percuma

    Gunakan telefon anda sebagai lampu suluh dengan menghidupkan lampu LED (bersebelahan kamera anda) di dalam dan dimatikan. Aplikasi kancing percuma ini terang dan kelihatan hebat. Ia cepat dan mudah digunakan, dengan butang