Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. a validating tool of BPEL programme
  5. Download

a validating tool of BPEL programme 1.0

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy

Hakkı -nda a validating tool of BPEL programme

Bu proje, Pi-kalkülüs ve BPEL ve pi-kalkülüs arasındaki dönüşüme dayalı web hizmetleri kompozisyonunun resmi olarak doğrulanması için bir araç önermektedir. Bu araç, iki tür resmi doğrulama tekniğini tümleştirir ve otomatik olarak doğrulayabilir.

İlgili Programlar

  • Kernel Module Examples Ücret -siz

    Yüklenebilir Çekirdek Modülü - Yüklenebilir Çekirdek Modülü nasıl kodlanır.

  • J-Hop Gnutella System Ücret -siz

    GUI, metin ve toplu arayüzleri ile Modüler Gnutella servent. Java1.4 yeni G/Ç ve ağ API'leri kullanılarak geliştirilmiştir. Düşük bant genişliği ve ADSL bağlantıları için optimize edilmiştir.

  • dasmarm Ücret -siz

    ARM işlemcili Windows Mobile için sökücü ve assembler. Windows XP'de Pelles C ile derlenmiştir.

  • Cojen - Java bytecode generator Ücret -siz

    Dinamik Java bytecode oluşturma ve sökme araçları. Oluşturucu, tam yönergeleri seçmek yerine kodun daha kolay oluşturulmasına izin verir. Kod jeneratörü ve yükleyiciyi gösteren yardımcı program sınıfları sağlanır.

  • digitalSTROM Ücret -siz

    Android cihazınızı Wi-Fi ağınız üzerinden kullanarak digitalSTROM özellikli ev evinizi kontrol edin ve izleyin. Işık sahnelerini ruh halinize uyacak şekilde ayarlayabilir ve panjurlarınızı açabilir, kapatabilir veya ayarlayab

  • jamsel Ücret -siz

    JAMSEL (İleti Seçimi için Java API) istemci tarafı filtreleme için JMS seçim belirtimi 1.1 yüksek performanslı bir uygulamadır. Java/C# API, JMS, TIBCO/RV ve Hashtable veri sağlayıcıları için yerleşik destek sağlar.

  • animal battery widget *alpaca* Ücretsiz Deneme

    Sevimli ALPACA pil kalan miktarını görüntülemek için widget.Sevimli tasarımı, akıllı telefonların pil gücünü görüntüler.Ayrıca okunması kolay sayılarda görüntülenir.15 tasarım içerir!Ana ekrana en iyi!Durum çubuğu

  • LambdaMOO Server Ücret -siz

    LambdaMOO, metin tabanlı macera oyunları, konferans sistemleri ve diğer işbirlikçi yazılımların yapımına uygun, ağ erişimine açık, çok kullanıcılı, programlanabilir, etkileşimli bir sistemdir.

  • PPIV Ücret -siz

    PPIV Parçacık Görüntü Velocimetry (PIV) analizinde kullanılan paralel bir yazılım uygulamasıdır. Yazılım, bir görüntü çifti veya birden çok görüntü çifti için vektör alanını hesaplayacaktır. PPIV tek bir masaüstü makinede vey

  • HTC One LED Flashlight Ücretsiz Deneme

    LED ışığını (kameranızın yanında) açıp kapatarak telefonunuzu el feneri olarak kullanın. Bu ücretsiz meşale uygulaması parlak ve harika görünüyor. Büyük ortalanmış bir düğme ile kullanımı hızlı ve kolaydır.Özellik:- Ba