صفحه اصلی فهرست مقالات مشخصات مقاله
مهندسی عمران
شماره‌های پیشین نشریه
دوره دوره 34.2 (1397)
دوره دوره 33.2 (1396)
دوره دوره 32.2 (1395)
دوره دوره 31.2 (1394)
دوره دوره 2-30 (1393)
دوره دوره 2-29 (1392)
دوره دوره 2-28 (1391)
دوره دوره 2-27 (1390)
دوره دوره 2-26 (1389)
دوره دوره 25 (1388)
دوره دوره 24 (1387)
دوره دوره 23 (1386)
دوره دوره 22 (1385)
دوره دوره 21 (1384)
دوره دوره 20 (1383)
دوره دوره 19 (1382)
شماره 25 - ویژه علوم و مهندسی
ویژه علوم مهندسی
شماره 24- ویژه مهندسی
ویژه مهندسی
شماره شماره 23
مهندسی عمران
دوره دوره 18 (1381)
دوره دوره 17 (1380)
دوره دوره 16 (1379)
دوره دوره 15 (1378)
دوره دوره 14 (1377)
دوره دوره 13 (1376)
دوره دوره 12 (1375)
دوره دوره 11 (1374)
دوره دوره 10 (1373)
دوره دوره 9 (1372)
دوره دوره 8 (1371)
میریان حسین آبادی, سیدحسن, جلالی, آرش. (1382). محیطی برای تولید برنامه از توصیف صوری. مهندسی عمران, دوره 19(25 - ویژه علوم و مهندسی), 42-53.
سیدحسن میریان حسین آبادی; آرش جلالی. "محیطی برای تولید برنامه از توصیف صوری". مهندسی عمران, دوره 19, 25 - ویژه علوم و مهندسی, 1382, 42-53.
میریان حسین آبادی, سیدحسن, جلالی, آرش. (1382). 'محیطی برای تولید برنامه از توصیف صوری', مهندسی عمران, دوره 19(25 - ویژه علوم و مهندسی), pp. 42-53.
میریان حسین آبادی, سیدحسن, جلالی, آرش. محیطی برای تولید برنامه از توصیف صوری. مهندسی عمران, 1382; دوره 19(25 - ویژه علوم و مهندسی): 42-53.

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

مقاله 7، دوره 19، 25 - ویژه علوم و مهندسی، پاییز 1382، صفحه 42-53  XML اصل مقاله (2461 K)
نویسندگان
سیدحسن میریان حسین آبادی؛ آرش جلالی
دانشکده‌ی مهندسی کامپیوتر، دانشگاه صنعتی شریف
چکیده
-
کلیدواژه‌ها
-
عنوان مقاله [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]
-
مراجع
آمار
تعداد مشاهده مقاله: 2,047
تعداد دریافت فایل اصل مقاله: 900