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

نویسندگان

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

چکیده

-

کلیدواژه‌ها

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

AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS

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

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

-

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

  • -
مهندسی عمران

دوره 19، 25 - ویژه علوم و مهندسی
ویژه علوم مهندسی
پاییز 1382
صفحه 42-53

فایل ها

اشتراک گذاری

ارجاع به این مقاله

آمار