ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Syspect

Syspect 1.5.0

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

Syspect เป็นเครื่องมือในการระบุระบบโดยใช้ไดอะแกรม UML2 และแปลเป็นข้อกําหนด CSP-OZ-DC สําหรับการตรวจสอบอย่างเป็นทางการ

ประวัติรุ่น

  • เวอร์ชัน 1.5.0 โพสต์เมื่อ 2010-05-11
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 1.5.0 โพสต์เมื่อ 2010-05-11

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

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

  • Frankenstein Project: Hack the Genome ฟรี

    โครงการแฟรงเกนสไตน์: แฮ็คจีโนมคอลเลกชันเครื่องมือที่มีค่าที่จําเป็นสําหรับการวิเคราะห์จีโนม เช่น- โมเลกุล, โปรแกรมดูโครงสร้างโปรตีน 3 มิติ- เครื่องจัดตําแหน่งโปรตีน- โคลน- เครื่องมือจัดการดีเอ็นเอ- นักแปลดีเอ็นเอถ

  • Order Switchable Column Table (OSCT) ฟรี

    ตารางคอลัมน์ที่สามารถสลับได้ (OSCT) เป็นกรอบของรูปแบบที่คั่นด้วยแท็บในชีววิทยาโมเลกุล OSCT ที่พัฒนาขึ้นใน RIKEN OSC ให้กรอบการทํางานทั่วไปในการจับภาพเมตาดาต้า (เช่นไฟล์อินพุตโปรโตคอลพารามิเตอร์ ฯลฯ ) รวมถึงข้อมูลเอง

  • Chemistry Terms Dictionary ฟรี

    ดาวน์โหลดพจนานุกรมคู่มือเคมีที่สมบูรณ์วันนี้ แอปพลิเคชั่นนี้มีมากกว่า 1,000 & quot;ข้อกําหนดทางเคมี & quot; พร้อมกับคําจํากัดความทางวิทยาศาสตร์ของพวกเขาผู้ใช้ของแอปพลิเคชันนี้สามารถค้นหาคําจํากัดความสําหรับคําศัพท์ทาง

  • Zoorbar ฟรี

    Zoorbar เป็นแอปพลิเคชั่นคอมพิวเตอร์ที่ออกแบบมาเพื่อจัดการและแปลงคอลเลกชันประวัติศาสตร์ธรรมชาติเป็นดิจิทัล - บันทึกการระบุตัวอย่างทั้งหมด โดยอิงตาม MS-Access หน่วยกิตและhttp://www.gbif.es/zoorbar/zoorbar.php

  • Turkish Human Mutation Database ฟรี

    การสะสมอย่างรวดเร็วของข้อมูลการกลายพันธุ์ของมนุษย์ได้นําไปสู่ความคิดในการสร้างฐานข้อมูลระดับชาติ / ชาติพันธุ์ในตุรกีที่ได้รับการรับรองโดย HUGO-MDI / HGVS โครงการ hmut-tr สหวิทยาการที่ริเริ่มในปี 1995 มีวัตถุประสงค์เพื่อโฮสต์ข

  • Regex Creator ฟรี

    Regex Creator เป็นเครื่องมือที่ช่วยสร้างนิพจน์ทั่วไป (regex) เป้าหมายคือการทําให้มันง่ายและเร็วที่สุดเท่าที่เป็นไปได้ในการสร้าง regex คุณวางข้อความเพื่อแยกวิเคราะห์ ระบุค่าที่จะแยกและสร้าง regex คุณยังสามารถดีบักรีเจนซ์ได้อีก

  • Lapack++ ฟรี

    LAPACK++ เป็นห้องสมุดสําหรับการคํานวณพีชคณิตเชิงเส้นประสิทธิภาพสูงรุ่นนี้รวมถึงการสนับสนุนสําหรับการแก้ปัญหาระบบเชิงเส้นโดยใช้ LU, Cholesky,ปัจจัยเมทริกซ์ QR สําหรับเมทริกซ์จริงและซับซ้อน

  • Buxa Code Documentor for PHP 6 ฟรี

    API ที่ใช้งานง่ายสําหรับจัดทําเอกสารโครงการ PHP (>= 5.3) มันเป็นไปตามโครงสร้างที่เข้มงวดและเดิมมันถูกเขียนขึ้นสําหรับกรอบ Buxa เท่านั้น เอกสารส่วนใหญ่ใช้การสะท้อนและใช่ ... แน่นอนว่ามันรองรับเรื่องเนมสเปซ

  • Moodle presubscribe ฟรี

    วัตถุ Presubscribe สามารถใช้กับ Moodle เพื่อเพิ่มความสามารถ presubscribe เต็มรูปแบบให้กับมัน โมดูลช่วยให้ผู้ใช้สมัครสมาชิกหลักสูตรล่วงหน้า (พร้อมอีเมลแจ้งเตือน) ผู้ดูแลระบบ Moodle สามารถอนุมัติการสมัครสมาชิกนี้เพื่อลงทะเบียน

  • di-base read Fast Alignment Search Tool ฟรี

    เครื่องมือค้นหาการจัดแนวอย่างรวดเร็วสําหรับการอ่านแบบ di-base (ช่องว่างสี; AB SOLID) โปรแกรมเสริมสําหรับ Illumina ยอดนิยมอ่าน mappers mrFAST และ mrsFAST