Program Development from Formal Specifications 40684 
  CE Department- Sharif University of Technology 98-99-2 - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1399-06-16 September 06, 2020 04:53 PM  
I have passed the grades. See Grades

  1399-06-13 September 03, 2020 04:14 PM  
نمرات امتحان پایان ترم و تمرین و کوییز و جمع کل بدون هیچ افزایشی در قسمت نمرات است. اگر موردی از تمرین و کوییز را انجام نداده اید تا پایان روز شنبه برای کمک استاد ارسال کنید تا ایشان نمره اش را برای بنده بفرستد. در مورد امتحان پایان ترم اگر نیاز به بررسی ورقه است با ایمیل تا پایان روز جمعه به بنده اطلاع دهید تا فکری برای آن در روز شنبه بکنم. بعد از تصحیح احتمالی نمرات در روز یکشنبه نمرات نهایی با درصدی افزایش به سیستم وارد خواهد شد.

  1399-04-16 July 06, 2020 11:52 AM  
در مورد امتحان توضیحاتی را جهت آشنایی شما با فرآیند امتحان قرار میدهم.  لازم است همان روز و ساعتی  که امتحان را تعیین کرده اند به کلاس مجازی بیایید. بنده سوالات را آنجا قرار خواهم داد و کسانی که در آن جلسه حاضر باشند به عنوان حاضر در جلسه امتحان تلقی خواهند شد. ابتدای جلسه توضیحاتی در مورد امتحان و سوالات خواهم داد لذا سرساعت در کلاس مجازی درس حاضر باشید. سوالات را از آن محل برمیدارید و  تا یکساعت فرصت دارید سوالات را نگاه کنید و اگر سوالی داشتید بپرسید. بعد از یکساعت از کلاس مجازی خارج شده و 24 ساعت وقت دارید که پاسخ را با ایمیل برای بنده ارسال کنید. در طی  این مدت به هیچ سوالی پاسخ داده نمیشود و اگر موردی هم هست باید فرضیات خود را بنویسید و سوالات را  پاسخ بدهید.  لطفا تا قبل از اتمام 24 ساعت حتما اقدام به ارسال پاسخ بنمایید.  برای هر سوال بخش انتخابی پیش بینی شده است که هر دانشجو به تشخیص خود انتخاب می کند و پاسخ میدهد. استفاده از منابع آزاد است اما بدیهی است اخلاقا مشورت ازاد نیست.  از صفحه روکش و صفحات سوال باید چاپ بکنید صفحه روکش را تکمیل و امضا کنید. پاسخ سوالات را در صفحه هر سوال با خط خود بنویسید. بالای تمام صفحات حتما باید نام و شماره دانشجوییتان را بنویسید. کل صفحات را اسکن کرده و در یک فایل پی دی اف مانند همان دفترچه سوالی که به شکل پی دی اف  در اختیارتان قرار داده میشود برای بنده ایمیل کنید. نامگذاری فایل پاسخ را با استانداردی که روی صفحه روکش نوشته شده انجام دهید. .
توجه داشته باشید برای هر سوال فقط به بخش انتخابی خود باید پاسخ بدهید. ارسال پاسخ برای تمام بخشهای یک سوال به این امید که هرکدام درست تر بود نمره اش حساب شود کار درستی در امتحاناتی که امکان انتخاب برای دانشجو پیش بینی میشود و به صورت تیک هوم است نیست.
در این صورت از آن سوال هیچ نمره ای به شما تعلق نخواهد گرفت .
پاسخ ها نیز باید در همان صفحه سوال  تمیز و مرتب نوشته شود و خط خوردگی نداشته باشد.
ضمنا نکته دیگر اینکه فایل سوالاتی که بنده در اختیار شما قرار خواهم داد فقط برای استفاده خودتان است و نباید آن را به فرد دیگری بدهید و یا به هر نحوی، الکترونیکی یا غیر الکترونیکی منتشر کنید.
نکاتی در خصوص امتحان مجازی در قسمت منابع قرارداده ام که حتما مطالعه کنید

  1399-02-20 May 09, 2020 04:05 AM  
Please see the new Timetable in Resources

  1398-12-10 February 29, 2020 04:37 AM  
با توجه به تصمیم دانشگاه مبنی بر برگزاری کلاسها به صورت الکترونیکی تا اطلاع ثانوی، به اطلاع می رساند که از شنبه ۹۸/۱۲/۱۰ کلاس درس تولید برنامه از توصیف صوری  با استفاده از ابزار کلاس مجازی شریف برگزار می گردد.

برای این منظور در ساعت ۱۰:۳۰ صبح روزهای شنبه و دوشنبه ( همان ساعتی که کلاس داشتیم) به لینکی که د ر ایمیل برای شما ارسال شده است  مراجعه نمایید و با کلیک بر روی گزینه «میهمان» وارد کلاس مجازی شوید. توصیه میکنم از مرورگر کروم برای ورود به کلاس استفاده کنید.

در طی کلاس، درصورت وجود سوال می توانید با فشردن شکلک دست در قسمت سمت چپ بالای صفحه، درخواست طرح سوال کنید و با صدور مجوز، با استفاده از میکروفون سوال خود را طرح نمایید. امکان طرح سوال به صورت متنی (با استفاده از چت سیستم) هم وجود دارد.

لطفا تا پیش از برگزاری کلاس به سیستم وارد شوید و در صورت وجود مشکل به بنده اطلاع دهید.

موفق باشید

میریان

  1398-11-29 February 18, 2020 01:08 PM  
New Timetable is uploaded. Check the Resources

  1398-11-20 February 09, 2020 08:33 AM  
Please see the course Timetable in teh Resources

Instructor:
Seyed-Hassan Mirian-Hosseinabadi
(hmirian at sharif domain name)

3 Units
10:30-12:00
Room: 402

 This website is visited 1537 times since February 2020. Updated Monday 2020-09-07 10:03