RCOS (computer sciences)

http://dbpedia.org/resource/RCOS_(computer_sciences)

rCOS stands for refinement of object and component systems. It is a formal method providing component-based model-driven software development. rdf:langString
rdf:langString RCOS (computer sciences)
xsd:integer 9894468
xsd:integer 919569129
rdf:langString rCOS stands for refinement of object and component systems. It is a formal method providing component-based model-driven software development.
xsd:nonNegativeInteger 4010
<http://dbpedia.org/resource/Category:United_Nations_University>
<http://dbpedia.org/resource/Category:Component-based_software_engineering>
<http://dbpedia.org/resource/Category:Year_of_introduction_missing>
<http://dbpedia.org/resource/Category:Formal_methods>
<http://dbpedia.org/resource/Category:Object-oriented_programming>
<http://dbpedia.org/resource/Category:United_Nations_University>
<http://dbpedia.org/resource/Electronic_Notes_in_Theoretical_Computer_Science>
<http://dbpedia.org/resource/UNU-IIST>
<http://dbpedia.org/resource/Category:Component-based_software_engineering>
<http://dbpedia.org/resource/Interaction_protocol>
<http://dbpedia.org/resource/Category:Year_of_introduction_missing>
<http://dbpedia.org/resource/Object_(philosophy)>
<http://dbpedia.org/resource/Operational_semantics>
<http://dbpedia.org/resource/Macau>
<http://dbpedia.org/resource/Zhiming_Liu_(computer_scientist)>
<http://dbpedia.org/resource/Theoretical_Computer_Science_(journal)>
<http://dbpedia.org/resource/He_Jifeng>
<http://dbpedia.org/resource/Lecture_Notes_in_Computer_Science>
<http://dbpedia.org/resource/Formal_Aspects_of_Computing>
<http://dbpedia.org/resource/Software_component>
<http://dbpedia.org/resource/Category:Formal_methods>
<http://dbpedia.org/resource/Category:Object-oriented_programming>
<http://dbpedia.org/resource/Model_transformation>
<http://dbpedia.org/resource/Refinement_calculus>
<http://dbpedia.org/resource/Unifying_Theories_of_Programming>
<http://dbpedia.org/resource/Science_of_Computer_Programming>
<http://dbpedia.org/resource/Formal_method>
<http://dbpedia.org/resource/Component-based>
<http://dbpedia.org/resource/Model-driven_software>
<http://dbpedia.org/resource/Ander_P._Ravn>
<http://rcos.iist.unu.edu/>
<https://web.archive.org/web/20090509101723/http:/www.iist.unu.edu/index.php/research/technical-reports>
<http://yago-knowledge.org/resource/RCOS_(computer_sciences)>
<http://www.wikidata.org/entity/Q7276118>
<https://global.dbpedia.org/id/4tUKR>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Lowercase>
<http://en.wikipedia.org/wiki/RCOS_(computer_sciences)?oldid=919569129&ns=0>
<http://en.wikipedia.org/wiki/RCOS_(computer_sciences)>

data from the linked data cloud