סביבה לאימות תוכנה מוטבע

תרגם רצפים UML עם מכשיר זה
הורד עכשיו

סביבה לאימות תוכנה מוטבע דירוג וסיכום

פרסומת

  • Rating:
  • רישיון:
  • GPL
  • שם המפרסם:
  • Marcelo M. Custodio
  • מערכות הפעלה:
  • Windows All
  • גודל הקובץ:
  • 57 KB

סביבה לאימות תוכנה מוטבע תגים


סביבה לאימות תוכנה מוטבע תיאור

סביבה עבור אימות תוכנה מוטבע בנויה כסביבה כי הוא מסוגל לתרגם דיאגרמות רצף UML כדי Petri Nets ולאמת מאפייני מערכת עם SMV. הכלי מקבל כמו דיאגרמות רצף קלט של UML ומספקת את נטו פטרי בשלוש פורמטים שונים: · Apnn, · PNML, · SMV.


סביבה לאימות תוכנה מוטבע תוכנה קשורה

HPGS

HPGL Script קוד פתוח HPGL / 2 מתורגמן ...

453 2.1 MB

הורד

Vc6builder 1.4.

שירות שורת הפקודה עבור קודים תוצאה מדויקת ב Visual Studio 6 Compiles ...

166 25 KB

הורד

עלינו