ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. a validating tool of BPEL programme

a validating tool of BPEL programme 1.0

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

โครงการนี้เสนอเครื่องมือสําหรับการตรวจสอบองค์ประกอบบริการเว็บอย่างเป็นทางการตาม Pi-calculus และการแปลงระหว่าง BPEL และ pi-calculus เครื่องมือนี้รวมเทคนิคการตรวจสอบอย่างเป็นทางการสองประเภทและสามารถตรวจสอบโดยอัตโนมัติ

ประวัติรุ่น

  • เวอร์ชัน webjetCheck1.0_src.zip โพสต์เมื่อ 2006-12-13
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน webjetCheck1.0_src.zip โพสต์เมื่อ 2006-12-13

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • Kernel Module Examples ฟรี

    โมดูลเคอร์เนลที่สามารถโหลดได้ - ตัวอย่างเกี่ยวกับวิธีการเขียนโค้ดโมดูลเคอร์เนลที่โหลดได้

  • J-Hop Gnutella System ฟรี

    Gnutella แบบแยกส่วนให้บริการกับ GUI, ข้อความและส่วนต่อประสานแบทช์ พัฒนาโดยใช้ API I/O และเครือข่ายใหม่ของ Java1.4 ปรับให้เหมาะสมกับแบนด์วิดท์ต่ําและการเชื่อมต่อ ADSL

  • dasmarm ฟรี

    ถอดชิ้นส่วนและประกอบสําหรับ Windows Mobile ด้วยโปรเซสเซอร์ ARM รวบรวมด้วย Pelles C บน Windows XP

  • Cojen - Java bytecode generator ฟรี

    การสร้างโค้ดจาวาแบบไดนามิกและเครื่องมือถอดชิ้นส่วน เครื่องมือสร้างช่วยให้สามารถสร้างรหัสได้ง่ายขึ้นแทนที่จะเลือกคําแนะนําที่แน่นอน มีคลาสอรรถประโยชน์ซึ่งแสดงให้เห็นถึงตัวสร้างโค้ดและตัวโหลด

  • digitalSTROM ฟรี

    ควบคุมและตรวจสอบครัวเรือนที่เปิดใช้งาน DigitalSTROM ของคุณโดยใช้อุปกรณ์ Android ผ่านเครือข่าย Wi-Fi ของคุณ คุณสามารถตั้งค่าฉากแสงให้พอดีกับอารมณ์ของคุณและเปิดปิดหรือปรับผ้าม่านของคุณ ดูการใช้พลังงานจริงของคุณในขณะที่คุณใช้อุป

  • jamsel ฟรี

    JAMSEL (Java API สําหรับการเลือกข้อความ) เป็นการใช้งานที่มีประสิทธิภาพสูงของข้อกําหนดการเลือก JMS 1.1 สําหรับการกรองฝั่งไคลเอ็นต์ Java/C# API ให้การสนับสนุนในตัวสําหรับผู้ให้บริการข้อมูล JMS, TIBCO/RV และ Hashtable

  • animal battery widget *alpaca* ทดลองใช้ฟรี

    วิดเจ็ต ALPACA น่ารักเพื่อแสดงปริมาณแบตเตอรี่ที่เหลืออยู่แสดงการออกแบบที่น่ารักพลังงานแบตเตอรี่ของสมาร์ทโฟนนอกจากนี้ยังแสดงในตัวเลขที่อ่านง่าย15การออกแบบรวมที่ดีที่สุดกับหน้าจอหลัก!นอกจากนี้ยังสามารถแสดงแถบสถานะได

  • LambdaMOO Server ฟรี

    LambdaMOO เป็นระบบที่สามารถเข้าถึงได้โดยเครือข่ายผู้ใช้หลายคนตั้งโปรแกรมได้ระบบโต้ตอบที่เหมาะสมกับการสร้างเกมผจญภัยแบบข้อความระบบการประชุมและซอฟต์แวร์การทํางานร่วมกันอื่น ๆ

  • PPIV ฟรี

    PPIV เป็นโปรแกรมซอฟต์แวร์ขนานที่ใช้ในการวิเคราะห์ Velocimetry ภาพอนุภาค (PIV) ซอฟต์แวร์จะคํานวณสนามเวกเตอร์สําหรับคู่ภาพหนึ่งคู่หรือคู่ภาพหลายคู่ PPIV สามารถทํางานบนเครื่องเดสก์ท็อปเครื่องเดียวหรือในสภาพแวดล้อมแบบคลัสเตอร์

  • HTC One LED Flashlight ทดลองใช้ฟรี

    ใช้โทรศัพท์ของคุณเป็นไฟฉายโดยการเปิดไฟ LED (ถัดจากกล้องของคุณ) แอพคบเพลิงฟรีนี้สว่างและดูดี มันรวดเร็วและใช้งานง่ายด้วยปุ่มกึ่งกลางขนาดใหญ่คุณสมบัติ:- ปุ่มเปิด / ปิดที่เรียบง่าย- เสียงปุ่มกด / ปล่อยที่สมจริง (มีการปิ