Skip to search formSkip to main contentSkip to account menu

RCOS (computer sciences)

Known as: Rcos 
rCOS stands for refinement of object and component systems. It is a formal method providing component-based model-driven software development.
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Component-based software engineeringElectronic Notes in Theoretical Computer ScienceFormal Aspects of ComputingInteraction protocol

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP
Specifying communication behaviours of components in real-time embedded systems is important to model and analyse system… 
2009
2009
A Framework for Formalizing UML Models with Formal Language Rcos
  • J. Yang
  • Fourth International Conference on Frontier of…
  • 2009
  • Corpus ID: 13987775
In this article, the formal object-oriented specification notation (Rcos) is used to formally combine some UML models. From the… 
2008
2008
State Based Robustness Testing for Components
2008
2008
The Verification of rCOS Using Spin
2007
2007
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high… 
2005
2005
Towards a Rigorous Approach to UML-Based Development
2005
2005
POST: A Case Study for an Incremental Development in rCOS
We have recently developed an object-oriented refinement calculus called rCOS to formalize the basic object-orient design… 
1998
1998
Analysis of absolute magnitudes of carbon stars from HIPPARCOS parallaxes
Abstract. Hipparcos trigonometric parallaxes and photomet-ric data for about 40 bright carbon stars have been analysed.Individual… 
1996
1996
RCOS: yet another teaching operating system
1988
1988
Estudios polínicos de la flora autóctona valenciana: Convolvulaceae
Se estudian los caracteres palinologicos referentes a forma, tamano, ornamentacion, apertura y estructura de la exina, en las… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)