Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Clock_Constraints_Specification_Language> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Clock_Constraints_Specification_Language abstract "The Clock Constraint Specification Language or CCSL, is a software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE.CCSL provides a concrete syntax to handle logical clocks. The term logical clock refers to Leslie Lamport's logical clocks and its usage in CCSL is directly inspired from synchronous languages (like Esterel or Signal).A solver of CCSL constraints is implemented in the TimeSquare tool.".
- Clock_Constraints_Specification_Language wikiPageID "41766625".
- Clock_Constraints_Specification_Language wikiPageRevisionID "596460963".
- Clock_Constraints_Specification_Language subject Category:Time.
- Clock_Constraints_Specification_Language subject Category:Unified_Modeling_Language.
- Clock_Constraints_Specification_Language comment "The Clock Constraint Specification Language or CCSL, is a software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE.CCSL provides a concrete syntax to handle logical clocks. The term logical clock refers to Leslie Lamport's logical clocks and its usage in CCSL is directly inspired from synchronous languages (like Esterel or Signal).A solver of CCSL constraints is implemented in the TimeSquare tool.".
- Clock_Constraints_Specification_Language label "Clock Constraints Specification Language".
- Clock_Constraints_Specification_Language sameAs m.0_h148x.
- Clock_Constraints_Specification_Language sameAs Q16919522.
- Clock_Constraints_Specification_Language sameAs Q16919522.
- Clock_Constraints_Specification_Language wasDerivedFrom Clock_Constraints_Specification_Language?oldid=596460963.
- Clock_Constraints_Specification_Language isPrimaryTopicOf Clock_Constraints_Specification_Language.