محیطی برای تولید برنامه از توصیف صوری

نویسندگان

دانشکده‌ی مهندسی کامپیوتر، دانشگاه صنعتی شریف

چکیده

-

کلیدواژه‌ها


عنوان مقاله [English]

AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS

نویسندگان [English]

  • H. Mirian Hussein Abadi
  • A. Jalali
Dept. of Computer Engineering Sharif University of Technology
چکیده [English]

-

کلیدواژه‌ها [English]

  • -