زبان برنامه نویسی LOTOS

[green_man]

با سلام

من می خواستم درباره زبان برنامه نویسی LOTOS و برنامه CADP یک تاپیک ارسال کنم ولی نی دونم کجا اضافه کنم ممنون می شوم راهنمایی کنید . این زبان درباره سیستم های توزیع شده است .

[habibb]

با سلام

من می خواستم درباره زبان مدل سازی LOTOS در برنامه CADP یک تاپیک ارسال کنم ولی نی دونم کجا اضافه کنم ممنون می شوم راهنمایی کنید . این زبان درباره سیستم های توزیع شده است .
در هر مرحله از توسعهٔ تولید نرم افزار (طراحی، پیاده سازی و...) می توان از روش Model checking بهره برد.
این تالار (http://barnamenevis.org/forumdisplay.php?48-%D8%AA%D8%AD%D9%84%DB%8C%D9%84-%D9%88-%D8%B7%D8%B1%D8%A7%D8%AD%DB%8C-%D9%86%D8%B1%D9%85-%D8%A7%D9%81%D8%B2%D8%A7%D8%B1)