RCOS (computer sciences)
ಆರ್. ಸಿ. ಓ. ಎಸ್ ಎಂದರೆ ವಸ್ತು ಮತ್ತು ಘಟಕ ವ್ಯವಸ್ಥೆಗಳ ಪರಿಷ್ಕರಣೆ. ಇದು ಘಟಕ-ಆಧಾರಿತ ಮಾದರಿ-ಚಾಲಿತ ಸಾಫ್ಟ್ವೇರ್ ಅಭಿವೃದ್ಧಿಯನ್ನು ಒದಗಿಸುವ ಔಪಚಾರಿಕ ವಿಧಾನವಾಗಿದೆ. ಅವಲೋಕನ ಆರ್. ಸಿ. ಓ. ಎಸ್. ಅನ್ನು ಮೂಲತಃ ಮಕಾವುವಿನ ಯು. ಎನ್. ಯು-ಐ. ಐ. ಎಸ್. ಟಿ. ಯಲ್ಲಿ ಹೆ ಜಿಫೆಂಗ್, ಝಿಮಿಂಗ್ ಲಿಯು ಮತ್ತು ಕ್ಸಿಯೋಶನ್ ಲಿ ಅವರು ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು, ಮತ್ತು ಇದು ಸಂಬಂಧಿತ ಶಬ್ದಾರ್ಥ ಮತ್ತು ಗ್ರಾಫ್-ಆಧಾರಿತ ಕಾರ್ಯಾಚರಣೆಯ ಶಬ್ದಾರ್ಥದ ಸಿದ್ಧಾಂತದೊಂದಿಗೆ ಏಕೀಕೃತ ಬಹು-ವೀಕ್ಷಣೆಯ ಮಾದರಿ ಸಂಕೇತವನ್ನು, ಮಾದರಿ ನಿರ್ಮಾಣ, ಮಾದರಿ ವಿಶ್ಲೇಷಣೆ ಮತ್ತು ಪರಿಶೀಲನೆ ಮತ್ತು ಮಾದರಿ ರೂಪಾಂತರಗಳಿಗೆ ಪರಿಷ್ಕರಣೆ ಕಲನಶಾಸ್ತ್ರ ಮತ್ತು ಸಾಧನ ಬೆಂಬಲವನ್ನು ಒಳಗೊಂಡಿದೆ. ಮಾದರಿ ರೂಪಾಂತರಗಳು ಪರಿಷ್ಕರಣೆ ನಿಯಮಗಳು ಮತ್ತು ವಿನ್ಯಾಸದ ಮಾದರಿಗಳನ್ನು ಸ್ವಯಂಚಾಲಿತಗೊಳಿಸುತ್ತವೆ ಮತ್ತು ಪರಿಸ್ಥಿತಿಗಳನ್ನು ಪುರಾವೆ ಕಟ್ಟುಪಾಡುಗಳಾಗಿ ಸೃಷ್ಟಿಸುತ್ತವೆ. ಆರ್. ಸಿ. ಓ. ಎಸ್. ಬಹು ಆಯಾಮದ ಮಾದರಿಯನ್ನು ಬೆಂಬಲಿಸುತ್ತದೆಃ ಪರಿಷ್ಕರಣೆ ಸಂಬಂಧಗಳು, ಘಟಕಗಳ ಸಂಯೋಜನೆಗಳ ಶ್ರೇಣಿ ವ್ಯವಸ್ಥೆ ಮತ್ತು ವ್ಯವಸ್ಥೆಯ ವಿವಿಧ ದೃಷ್ಟಿಕೋನಗಳ ಮಾದರಿಗಳು (ಘಟಕಗಳ ಪರಸ್ಪರ ಸಂವಹನ ಶಿಷ್ಟಾಚಾರಗಳು, ಘಟಕಗಳ ಪ್ರತಿಕ್ರಿಯಾತ್ಮಕ ನಡವಳಿಕೆಗಳು, ದತ್ತಾಂಶ ಕಾರ್ಯಕ್ಷಮತೆ ಮತ್ತು ವರ್ಗ ರಚನೆಗಳು ಮತ್ತು ದತ್ತಾಂಶ ಪ್ರಕಾರಗಳು) ಸಂಬಂಧಿತ ಅಮೂರ್ತತೆಯ ವಿವಿಧ ಹಂತಗಳಲ್ಲಿನ ಮಾದರಿಗಳು. ಮೂರನೇ ವ್ಯಕ್ತಿಯ ಸಂಯೋಜನೆಯನ್ನು ಬೆಂಬಲಿಸಲು ಇಂಟರ್ಫೇಸ್ಗಳ ಮಾದರಿಗಳ ಆಧಾರದ ಮೇಲೆ ಘಟಕಗಳನ್ನು ಸಂಯೋಜಿಸಲಾಗಿದೆ ಮತ್ತು ಸಂಯೋಜಿಸಲಾಗಿದೆ. ಗ್ರಂಥಸೂಚಿ ರುಝೆನ್ ಡಾಂಗ್, ಜೋಹಾನ್ಸ್ ಫೇಬರ್, ವೇಯ್ ಕೆ, ಝಿಮಿಂಗ್ ಲಿಯುಃ "ಆರ್ಸಿಓಎಸ್ಃ ಘಟಕ-ಆಧಾರಿತ ಸಾಫ್ಟ್ವೇರ್ ಆರ್ಕಿಟೆಕ್ಚರ್ಗಳ ಅರ್ಥಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುವುದು". ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಮತ್ತು ಫಾರ್ಮಲ್ ಎಂಜಿನಿಯರಿಂಗ್ ವಿಧಾನಗಳ ಏಕೀಕೃತ ಸಿದ್ಧಾಂತಗಳು-ಸಾಫ್ಟ್ವೇರ್ ಎಂಜಿನಿಯರಿಂಗ್ 2013, ಎಲ್ಎನ್ಸಿಎಸ್ 8050 ಕುರಿತು ಐಸಿಟಿಎಸಿ ತರಬೇತಿ ಶಾಲೆಃ 1-66, ಸ್ಪ್ರಿಂಗರ್ (2013) ವೇಯ್ ಕೆ, ಕ್ಸಿಯೋಶನ್ ಲಿ, ಝಿಮಿಂಗ್ ಲಿಯು, ವೋಲ್ಕರ್ ಸ್ಟೋಲ್ಜ್ಃ "ಆರ್ಸಿಒಎಸ್ಃ ಘಟಕ-ಆಧಾರಿತ ಸಾಫ್ಟ್ವೇರ್ಗಾಗಿ ಔಪಚಾರಿಕ ಮಾದರಿ-ಚಾಲಿತ ಎಂಜಿನಿಯರಿಂಗ್ ವಿಧಾನ". ಫ್ರಾಂಟಿಯರ್ಸ್ ಆಫ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ ಇನ್ ಚೀನಾ 6 (1): 17-39 (2012) ಝಿಮಿಂಗ್ ಲಿಯು, ಚಾರ್ಲ್ಸ್ ಮೊರಿಸೆಟ್ ಮತ್ತು ವೋಲ್ಕರ್ ಸ್ಟೋಲ್ಜ್. "rCOS: ಥಿಯರಿ ಅಂಡ್ ಟೂಲ್ ಫಾರ್ ಕಾಂಪೊನೆಂಟ್-ಬೇಸ್ಡ್ ಮಾಡೆಲ್ ಡ್ರಿವೆನ್ ಡೆವಲಪ್ಮೆಂಟ್, ಕೀನೋಟ್ ಅಟ್ FSEN09", ಟೆಕ್ನಿಕಲ್ ರಿಪೋರ್ಟ್ 406, UNU-IIST, P. O. ಬಾಕ್ಸ್ 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, ಪುಟಗಳು. ಕ್ಸಿನ್ ಚೆನ್, ಝಿಮಿಂಗ್ ಲಿಯು ಮತ್ತು ವ್ಲಾಡಿಮಿರ್ ಮೆನ್ಕ್ಲ್ರವರು. "ಕಾಳಜಿಗಳ ಪ್ರತ್ಯೇಕತೆ ಮತ್ತು ಅವಶ್ಯಕತೆಗಳ ಮಾದರಿಯಲ್ಲಿ ಸ್ಥಿರವಾದ ಏಕೀಕರಣ". ಪ್ರೋಕ್ನಲ್ಲಿ. ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ಸಿದ್ಧಾಂತ ಮತ್ತು ಅಭ್ಯಾಸದಲ್ಲಿ ಪ್ರಸ್ತುತ ಪ್ರವೃತ್ತಿಗಳು, ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಉಪನ್ಯಾಸ ಟಿಪ್ಪಣಿಗಳು]. ಸ್ಪ್ರಿಂಗರ್, 2007. ಯುನಿಫೈಂಗ್ ಥಿಯರೀಸ್ ಆಫ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ (ಯುಟಿಪಿ) ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಆರ್ಸಿಒಎಸ್ ಜಾಲತಾಣ ಪರಿಚಯದ ವರ್ಷ ಕಾಣೆಯಾಗಿದೆ ವಸ್ತು-ಆಧಾರಿತ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಘಟಕ-ಆಧಾರಿತ ಸಾಫ್ಟ್ವೇರ್ ಎಂಜಿನಿಯರಿಂಗ್ ಔಪಚಾರಿಕ ವಿಧಾನಗಳು ಯುನೈಟೆಡ್ ನೇಷನ್ಸ್ ಯೂನಿವರ್ಸಿಟಿ