Content deleted Content added
m Link repair: Electronic Notes of Theoretical Computer Science -> Electronic Notes in Theoretical Computer Science - You can help! |
TheAMmollusc (talk | contribs) m Added wikilink on Interaction protocol |
||
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
==References==
| |||