RCOS (computer sciences)
আর. সি. ও. এস মানে বস্তু এবং উপাদান ব্যবস্থার পরিশোধন। এটি একটি আনুষ্ঠানিক পদ্ধতি যা উপাদান-ভিত্তিক মডেল-চালিত সফ্টওয়্যার বিকাশ প্রদান করে। সংক্ষিপ্ত বিবরণ আর. সি. ও. এস মূলত ম্যাকাওয়ের ইউ. এন. ইউ-আই. আই. এস. টি-তে হে জিফেং, জিমিং লিউ এবং জিয়াওশান লি দ্বারা তৈরি করা হয়েছিল এবং এটি রিলেশনাল শব্দার্থ এবং গ্রাফ-ভিত্তিক অপারেশনাল শব্দার্থবিজ্ঞানের তত্ত্ব সহ একটি ইউনিফাইড মাল্টি-ভিউ মডেলিং নোটেশন, মডেল নির্মাণ, মডেল বিশ্লেষণ এবং যাচাইকরণ এবং মডেল রূপান্তরের জন্য একটি পরিমার্জন ক্যালকুলাস এবং সরঞ্জাম সমর্থন নিয়ে গঠিত। মডেল রূপান্তরগুলি পরিমার্জন নিয়ম এবং নকশার নিদর্শনগুলিকে স্বয়ংক্রিয় করে এবং প্রমাণ বাধ্যবাধকতা হিসাবে শর্ত তৈরি করে। আর. সি. ও. এস একাধিক মাত্রিক মডেলিং সমর্থন করেঃ পরিশোধন সম্পর্ক, উপাদানগুলির রচনার শ্রেণিবিন্যাস এবং সিস্টেমের বিভিন্ন দৃষ্টিভঙ্গির মডেল (উপাদানগুলির মিথস্ক্রিয়া প্রোটোকল, উপাদানগুলির প্রতিক্রিয়াশীল আচরণ, ডেটা কার্যকারিতা এবং শ্রেণী কাঠামো এবং ডেটা প্রকার) দ্বারা সম্পর্কিত বিমূর্ততার বিভিন্ন স্তরের মডেল। তৃতীয় পক্ষের গঠনকে সমর্থন করার জন্য উপাদানগুলি তাদের ইন্টারফেসের মডেলের উপর ভিত্তি করে রচিত এবং সংহত করা হয়। গ্রন্থপঞ্জি রুজেন ডং, জোহানেস ফেবার, ওয়েই কে, জিমিং লিউঃ "আরসিওএসঃ কম্পোনেন্ট-ভিত্তিক সফ্টওয়্যার আর্কিটেকচারের সংজ্ঞা নির্ধারণ"। প্রোগ্রামিং এবং আনুষ্ঠানিক প্রকৌশল পদ্ধতির সমন্বিত তত্ত্ব-আইসিটিএসি ট্রেনিং স্কুল অন সফ্টওয়্যার ইঞ্জিনিয়ারিং 2013, এলএনসিএস 8050:1-66, স্প্রিংগার (2013) ওয়েই কে, জিয়াওশান লি, জিমিং লিউ, ভলকার স্টোলজঃ "আরসিওএসঃ উপাদান-ভিত্তিক সফ্টওয়্যারের জন্য একটি আনুষ্ঠানিক মডেল-চালিত প্রকৌশল পদ্ধতি"। ফ্রন্টিয়ার্স অফ কম্পিউটার সায়েন্স ইন চায়না 6 (1): 17-39 (2012) জিমিং লিউ, চার্লস মরিসেট এবং ভলকার স্টোলজ। "আর. সি. ও. এসঃ থিওরি অ্যান্ড টুল ফর কম্পোনেন্ট-বেসড মডেল ড্রিভেন ডেভেলপমেন্ট, কীনোট অ্যাট এফ. এস. ই. এন09", টেকনিক্যাল রিপোর্ট 406, ইউ. এন. ইউ-আই. আই. এস. টি, পি. ও। বক্স 3058, ম্যাকাও, ফেব্রুয়ারি 2009। ঝেনবাং চেন, জিমিং লিউ, আন্ডার পি. রাভন এবং ভলকার স্টোলজ (2009)। "কম্পোনেন্ট-ভিত্তিক মডেল চালিত নকশায় পরিশোধন এবং যাচাইকরণ"। ইউ. এন. ইউ-আই. আই. এস. টি গবেষণা প্রতিবেদন 381। কম্পিউটার প্রোগ্রামিং বিজ্ঞান, 74 (4): 168-196,2009। লিয়াং ঝাও, জিয়াওজিয়ান লিউ, জিমিং লিউ এবং জংয়ান কিউ (2009)। "অবজেক্ট-ওরিয়েন্টেড রিফাইনমেন্টের জন্য গ্রাফ রূপান্তর", ফর্মাল অ্যাসপেক্টস অফ কম্পিউটিং, 21 (1-2): 103-131,2009। তিনি জিফেং, জিয়াওশান লি এবং জিমিং লিউ। "উপাদান-ভিত্তিক সফ্টওয়্যার ইঞ্জিনিয়ারিং"। প্রো-তে। আইসিটিএসি '2005, লেকচার নোটস ইন কম্পিউটার সায়েন্স ভলিউম 3722। স্প্রিঙ্গার, 2005। তিনি জিফেং, জিয়াওশান লি এবং জিমিং লিউ। "আর. সি. ও. এসঃ অবজেক্ট সিস্টেমের জন্য একটি পরিশোধন ক্যালকুলাস"। তাত্ত্বিক কম্পিউটার বিজ্ঞান, 365 (1-2): 109-142,2006। তিনি জিফেং, জিমিং লিউ এবং জিয়াওশান লি। "প্রতিক্রিয়াশীল উপাদানগুলির একটি তত্ত্ব" তাত্ত্বিক কম্পিউটার বিজ্ঞানে বৈদ্যুতিন নোটস, 160:173-195,2006। জিন চেন, হি জিফেং, জিমিং লিউ এবং নাইজুন ঝান। "উপাদান-ভিত্তিক প্রোগ্রামিংয়ের একটি মডেল"। প্রোক। এফ. এস. ই. এন 2007, কম্পিউটার সায়েন্স, লেকচার নোটস ইন কম্পিউটার সায়েন্স 4767, পৃ. 191-208। জিন চেন, জিমিং লিউ এবং ভ্লাদিমির মেনক্ল। "উদ্বেগের পৃথকীকরণ এবং প্রয়োজনীয়তার মডেলিংয়ে ধারাবাহিক সংহতকরণ"। প্রোক-এ। কম্পিউটার বিজ্ঞানের তত্ত্ব ও অনুশীলনের বর্তমান প্রবণতা, কম্পিউটার বিজ্ঞানের লেকচার নোট]। স্প্রিঙ্গার, 2007। আরও দেখুন ইউনিফাইং থিওরিজ অফ প্রোগ্রামিং (ইউটিপি) রেফারেন্স বাহ্যিক লিঙ্ক আরসিওএস ওয়েবসাইট পরিচয়ের বছর অনুপস্থিত অবজেক্ট-ওরিয়েন্টেড প্রোগ্রামিং উপাদান-ভিত্তিক সফ্টওয়্যার ইঞ্জিনিয়ারিং আনুষ্ঠানিক পদ্ধতি ইউনাইটেড নেশনস ইউনিভার্সিটি