ایجاد یک برنامه تحت وب از ابتدا

ایده بزرگ

در نظر بگیرید قرار است یک اپلیکیشن لیست بسازید. این اپلیکیشن را لیست رنگی می نامیم. زیرا لیست ممکن است برای هر چیزی به کار رود: لیست کارهایی که باید انجام شود، لیست خرید، لیست وسایلی که باید برای اردو زدن همراه داشته باشیم. همچنین موارد مختلف در لیست ممکن است از اهمیت یکسانی برخوردار نباشند. این باعث می شود که لیست های کاغذی بالقوه کثیف و ناکارآمد باشد. بر روی لیست کامپیوتری اما به راحتی می توان یک آیتم را حذف کرد و همچنین با کشیدن و رها کردن، آیتم ها را از نو مرتب کرد. برای اداره کردن اهمیت نسبی موارد موجود در لیست می توان از رنگ ها استفاده کرد. البته رنگ آمیزی می تواند برای گروه بندی هم استفاده شود. کامپیوترها و وب مکان های مناسبی برای تهیه و نگهداری لیست ها هستند. 

کشیدن یک طرح از برنامه

یک طرح از برنامه بکشید. مهم نیست که این طرح فانتزی باشد. فقط یک طرح ابتدایی از آنچه برنامه می تواند شبیه آن باشد:

اسلاید دوم

اسلاید دوم:

شرط لازم برای روش بررسی مدل ارائه یک مدل از سیستم است. 

• ابتدا سیستم های گذار را معرفی می کنیم، که یک کلاس استاندارد از مدل ها برای ارائه سیستم های سخت افزاری و نرم افزاری است. 
• جنبه های مختلف مدلسازی سیستم های همگام را توضیح می دهیم.
• در انتها در مورد مسأله انفجار فضای حالت در بررسی مدل توضیح می دهیم. 

اسلاید اول

اسلاید 1:

طراحی فرآیند دستیابی به درک جزیی تر از خصوصیات داده شده است. 

پیاده سازی را می توان چزیی ترین درک از خصوصیات داده شده در نظر گرفت. 

درستی یابی سیستم های کامپیوتری

Ref.

1. C. Baier and J.P. Katoen, “Model Checking”, The MIT Press, Cambridge, MA, 2009.
2. E.M. Clarke, O Grumberg, and D.A. Peled, “Model Checking”, The MIT Press, Cambridge, MA, U.S.A, 2001.
3. M. Huth and M. Ryan, “Logic in Computer Science: Modeling and Reasoning about Systems”,2nd Ed., Cambridge University Press, 2004.

استاد درس: دکتر موقر

Some Similar Recent courses in North America:

1. Bug Catching: Automated Program Verification and Testing, SCS15-414, Fall 2014, Carnegie Mellon University, School of Computer Science. Taught by E.M. Clarke.
2. Graduate Verification Seminar: Automated Theorem Proving, SCS15-817, Spring 2013, Carnegie Mellon University, School of Computer Science. Being taught by E.M. Clarke.
3. Program Verification, CS476, Fall 2013-4, University of Illinois at Urbana-Champaign, Department of Computer Science. Being taught by Jose Meseguer.
4. Techniques for Program Analysis and Verification , CS357, Fall 2013-4, Stanford University, Department of Computer Science. Taught by Dill and Aiken.
5. Computer-Aided Verification, CS745, Fall 2009, University of Waterloo, School of Computer Science. Taught by Joe Atlee.
6. Abstraction: Fighting State Explosion in Model Checking , CS 846, Winter 2010, University of Waterloo, School of Computer Science. Taught by Richard Trefler.
7. Software Verification and Testing, CSC410, Winter 2013, University of Toronto, Department of Computer Science. Being taught by Azadeh Farzan.
8. Topics in Verification (Game Theory in Formal Verification), CSC2226H, Winter 2014, University of Toronto, Department of Computer Science. Being taught by Azadeh Farzan.

T.A. :   Shirin Baghoolizadeh   

           [e-mail]

Grading Policy

1. Programming Assignments: 10%
2. Research Presentations: 10%
3. Final Research Paper: 20%
4. Midterm Exam: 20%
5. Final Exam: 40%

صفحه درس