RCOS (computer sciences)
આર. સી. ઓ. એસ. એ ઓબ્જેક્ટ અને કોમ્પોનન્ટ સિસ્ટમ્સના રિફાઇનમેન્ટ માટે વપરાય છે. તે ઘટક-આધારિત મોડેલ-સંચાલિત સોફ્ટવેર વિકાસ પ્રદાન કરતી એક ઔપચારિક પદ્ધતિ છે. ઝાંખી rCOS મૂળરૂપે મકાઉમાં UNU-IIST ખાતે હે જિફેંગ, ઝિમિંગ લિયુ અને ઝિયાઓશન લી દ્વારા વિકસાવવામાં આવ્યું હતું, અને તેમાં રીલેશ્નલ સિમેન્ટીક અને ગ્રાફ-આધારિત ઓપરેશનલ સિમેન્ટીક્સના સિદ્ધાંત સાથે એકીકૃત મલ્ટી-વ્યૂ મોડેલિંગ નોટેશન, મોડેલ બાંધકામ, મોડેલ વિશ્લેષણ અને ચકાસણી અને મોડેલ પરિવર્તન માટે રિફાઇનમેન્ટ કેલ્ક્યુલસ અને ટૂલ સપોર્ટનો સમાવેશ થાય છે. મોડેલ પરિવર્તન શુદ્ધિકરણ નિયમો અને ડિઝાઇન પેટર્નને સ્વચાલિત કરે છે અને પુરાવા જવાબદારીઓ તરીકે શરતો પેદા કરે છે. આર. સી. ઓ. એસ. બહુવિધ પરિમાણીય મોડેલિંગને ટેકો આપે છેઃ શુદ્ધિકરણ સંબંધો, ઘટકોની રચનાઓના પદાનુક્રમ અને સિસ્ટમના વિવિધ મંતવ્યોના નમૂનાઓ (ઘટકોના ક્રિયાપ્રતિક્રિયા પ્રોટોકોલ, ઘટકોની પ્રતિક્રિયાશીલ વર્તણૂકો, ડેટા કાર્યક્ષમતા અને વર્ગ માળખાં અને ડેટા પ્રકારો) દ્વારા સંબંધિત અમૂર્તતાના વિવિધ સ્તરો પરના નમૂનાઓ. તૃતીય પક્ષની રચનાને ટેકો આપવા માટે ઘટકો તેમના ઇન્ટરફેસના નમૂનાઓના આધારે રચાય છે અને સંકલિત થાય છે. ગ્રંથસૂચિ રુઝેન ડોંગ, જોહાન્સ ફેબર, વેઇ કે, ઝિમિંગ લિયુઃ "આર. સી. ઓ. એસ.: ઘટક-આધારિત સોફ્ટવેર આર્કિટેક્ચરના અર્થોની વ્યાખ્યા". પ્રોગ્રામિંગ અને ઔપચારિક ઇજનેરી પદ્ધતિઓના સિદ્ધાંતોને એકીકૃત કરવા-સોફ્ટવેર ઇજનેરી પર આઇસીટીએસી તાલીમ શાળા 2013, એલએનસીએસ 8050: <આઇડી1>, સ્પ્રિંગર (2013) વેઈ કે, ઝિયાઓશન લી, ઝિમિંગ લિયુ, વોલ્કર સ્ટોલ્ઝઃ "આરસીઓએસઃ ઘટક-આધારિત સોફ્ટવેર માટે ઔપચારિક મોડેલ-સંચાલિત ઇજનેરી પદ્ધતિ". ફ્રન્ટિયર્સ ઓફ કોમ્પ્યુટર સાયન્સ ઇન ચાઇના 6 (1): 17-39 (2012) ઝિમિંગ લિયુ, ચાર્લ્સ મોરિસેટ અને વોલ્કર સ્ટોલ્ઝ. "rCOS: થિયરી એન્ડ ટૂલ ફોર કોમ્પોનન્ટ-બેઝ્ડ મોડલ ડ્રિવેન ડેવલપમેન્ટ, કીનોટ એટ FSEN09", ટેકનિકલ રિપોર્ટ 406, UNU-IIST, P. O. બોક્સ 3058, મકાઉ, ફેબ્રુઆરી 2009. ઝેનબાંગ ચેન, ઝિમિંગ લિયુ, એન્ડર પી. રેવન અને વોલ્કર સ્ટોલ્ઝ (2009). "ઘટક-આધારિત મોડલ સંચાલિત ડિઝાઇનમાં રિફાઇનમેન્ટ અને ચકાસણી". UNU-IIST સંશોધન અહેવાલ 381. કમ્પ્યુટર પ્રોગ્રામિંગનું વિજ્ઞાન, 74 (4): 168-196,2009. લિયાંગ ઝાઓ, ઝિઆઓજિયન લિયુ, ઝિમિંગ લિયુ અને ઝોંગ્યાન ક્યુ (2009). "ઓબ્જેક્ટ-ઓરિએન્ટેડ રિફાઇનમેન્ટ માટે ગ્રાફ ટ્રાન્સફોર્મેશન્સ", કોમ્પ્યુટિંગના ઔપચારિક પાસાઓ, 21 (1-2): 103-131,2009. તે જીફેંગ, ઝિયાઓશાન લી અને ઝિમિંગ લિયુ. "ઘટક-આધારિત સોફ્ટવેર એન્જિનિયરિંગ". પ્રો માં. આઇ. સી. ટી. એ. સી. '2005, લેક્ચર નોટ્સ ઇન કમ્પ્યુટર સાયન્સ વોલ્યુમ 3722. સ્પ્રિંગર, 2005. તે જીફેંગ, ઝિયાઓશાન લી અને ઝિમિંગ લિયુ. "rCOS: ઓબ્જેક્ટ સિસ્ટમ્સ માટે રિફાઇનમેન્ટ કેલ્ક્યુલસ". સૈદ્ધાંતિક કોમ્પ્યુટર વિજ્ઞાન, 365 (1-2): 109-142,2006. તે જીફેંગ, ઝિમિંગ લિયુ અને ઝિયાઓશાન લી. "પ્રતિક્રિયાશીલ ઘટકોનો સિદ્ધાંત" સૈદ્ધાંતિક કમ્પ્યુટર વિજ્ઞાનમાં ઇલેક્ટ્રોનિક નોંધો, 160:173-195,2006. શિન ચેન, હે જિફેંગ, ઝિમિંગ લિયુ અને નૈજુન ઝાન. "ઘટક-આધારિત પ્રોગ્રામિંગનું એક મોડેલ". પ્રો. FSEN 2007, કોમ્પ્યુટર સાયન્સ, લેક્ચર નોટ્સ ઇન કોમ્પ્યુટર સાયન્સ 4767, pp. 191-208. શિન ચેન, ઝિમિંગ લિયુ અને વ્લાદિમીર મેન્કેલ. "ચિંતાઓનું વિભાજન અને જરૂરિયાતો મોડેલિંગમાં સુસંગત એકીકરણ". પ્રોસી માં. કોમ્પ્યુટર સાયન્સના થિયરી અને પ્રેક્ટિસમાં વર્તમાન પ્રવાહો, કોમ્પ્યુટર સાયન્સમાં વ્યાખ્યાન નોંધો]. સ્પ્રિંગર, 2007. યુનિફાઇંગ થિયરીઝ ઓફ પ્રોગ્રામિંગ (યુ. ટી. પી.) સંદર્ભો પણ જુઓ બાહ્ય કડીઓ આર. સી. ઓ. એસ. વેબસાઇટ પરિચયનું વર્ષ મિસિંગ ઓબ્જેક્ટ-ઓરિએન્ટેડ પ્રોગ્રામિંગ કમ્પોનન્ટ-આધારિત સોફ્ટવેર એન્જિનિયરિંગ ઔપચારિક પદ્ધતિઓ યુનાઇટેડ નેશન્સ યુનિવર્સિટી