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.
2017
2017
A Fast Estimation Technique for Evaluating the Specific Absorption Rate of Multiple-Antenna Transmitting Devices
In this paper, we present a fast technique for estimating the specific absorption rate (SAR) of multiple-antenna transmitting… 
Highly Cited
2012
Highly Cited
2012
Image Compressive Sensing Recovery via Collaborative Sparsity
Compressive sensing (CS) has drawn quite an amount of attention as a joint sampling and compression approach. Its theory shows… 
2012
2012
rCOS: a formal model-driven engineering method for component-based software
Model-driven architecture (MDA) has become a main stream technology for software-intensive system design. The main engineering… 
Highly Cited
2011
Highly Cited
2011
Target spatial and frequency scattering diversity property for diversity MIMO radar
2008
2008
State Based Robustness Testing for Components
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… 
Highly Cited
2006
Highly Cited
2006
rCOS: A refinement calculus of object systems
2005
2005
Component Case Study of a Self-Optimizing RCOS/RTOS System
In highly dynamic scenarios a real-time communication/real-time operating system (RCOS/RTOS), which can fulfill all upcoming… 
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… 
Highly Cited
1979
Highly Cited
1979
A Transformational View of Cartography
Cartographic transformations are applied to locative geographic data and to substantive geographic data. Conversion between… 
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)