Content deleted Content added
m Robot - Moving category Software components to Component-based software engineering per CFD at Wikipedia:Categories for discussion/Log/2011 February 12. |
Repairing links to disambiguation pages - You can help! using AWB |
||
Line 1:
{{lowercase}}
'''rCOS''' stands for refinement of [[Object (philosophy)|object]] and [[Software component|component]] systems. It is a method [[component-based]] [[model-driven]] software
development. It was originally developed by [[He Jifeng]], [[Zhiming Liu]] and [[Xiaoshan Li]] at [[UNU-IIST]], and consists of a relational semantic theory, a refinement calculus and tool support for model construction, model [[analysis and verification]], and [[model transformations]]. Model transformations automate refinement rules and design patterns and generate conditions as proof obligations. rCOS support multiple dimensional modeling: models at different levels of abstraction related by refinement relations, hierarchy of compositions of components, and models of different views of the system (interaction protocols of components, reactive behaviors of components, data functionality, and class structures and data types). For details, please visit http://rcos.iist.unu.edu/ for more details.
| |||