Matches in SemOpenAlex for { <https://semopenalex.org/work/W24701999> ?p ?o ?g. }
- W24701999 endingPage "71" @default.
- W24701999 startingPage "3" @default.
- W24701999 abstract "SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems." @default.
- W24701999 created "2016-06-24" @default.
- W24701999 creator A5007264795 @default.
- W24701999 creator A5016732227 @default.
- W24701999 creator A5017855265 @default.
- W24701999 creator A5023123658 @default.
- W24701999 creator A5049253314 @default.
- W24701999 creator A5049483818 @default.
- W24701999 creator A5052765480 @default.
- W24701999 creator A5054527006 @default.
- W24701999 creator A5066761763 @default.
- W24701999 creator A5069085203 @default.
- W24701999 date "2015-01-01" @default.
- W24701999 modified "2023-10-14" @default.
- W24701999 title "The SCEL Language: Design, Implementation, Verification" @default.
- W24701999 cites W1043938270 @default.
- W24701999 cites W1511196089 @default.
- W24701999 cites W1527642454 @default.
- W24701999 cites W157143398 @default.
- W24701999 cites W1581311060 @default.
- W24701999 cites W1602913610 @default.
- W24701999 cites W1604167937 @default.
- W24701999 cites W1740986913 @default.
- W24701999 cites W180102709 @default.
- W24701999 cites W18949288 @default.
- W24701999 cites W1930925468 @default.
- W24701999 cites W194258645 @default.
- W24701999 cites W1964137226 @default.
- W24701999 cites W2006719393 @default.
- W24701999 cites W2007809070 @default.
- W24701999 cites W2010426824 @default.
- W24701999 cites W2036910349 @default.
- W24701999 cites W2040598439 @default.
- W24701999 cites W2043312149 @default.
- W24701999 cites W2046162118 @default.
- W24701999 cites W2053513378 @default.
- W24701999 cites W2071347688 @default.
- W24701999 cites W2099811898 @default.
- W24701999 cites W2115309705 @default.
- W24701999 cites W2135749407 @default.
- W24701999 cites W2139863023 @default.
- W24701999 cites W2156525231 @default.
- W24701999 cites W2161353020 @default.
- W24701999 cites W2167898414 @default.
- W24701999 cites W2168884369 @default.
- W24701999 cites W2170807076 @default.
- W24701999 cites W3122941067 @default.
- W24701999 cites W31810032 @default.
- W24701999 cites W327595757 @default.
- W24701999 cites W4301885396 @default.
- W24701999 cites W4362223624 @default.
- W24701999 cites W958997602 @default.
- W24701999 cites W97138409 @default.
- W24701999 cites W99778302 @default.
- W24701999 doi "https://doi.org/10.1007/978-3-319-16310-9_1" @default.
- W24701999 hasPublicationYear "2015" @default.
- W24701999 type Work @default.
- W24701999 sameAs 24701999 @default.
- W24701999 citedByCount "46" @default.
- W24701999 countsByYear W247019992015 @default.
- W24701999 countsByYear W247019992016 @default.
- W24701999 countsByYear W247019992017 @default.
- W24701999 countsByYear W247019992018 @default.
- W24701999 countsByYear W247019992019 @default.
- W24701999 countsByYear W247019992020 @default.
- W24701999 countsByYear W247019992021 @default.
- W24701999 countsByYear W247019992022 @default.
- W24701999 countsByYear W247019992023 @default.
- W24701999 crossrefType "book-chapter" @default.
- W24701999 hasAuthorship W24701999A5007264795 @default.
- W24701999 hasAuthorship W24701999A5016732227 @default.
- W24701999 hasAuthorship W24701999A5017855265 @default.
- W24701999 hasAuthorship W24701999A5023123658 @default.
- W24701999 hasAuthorship W24701999A5049253314 @default.
- W24701999 hasAuthorship W24701999A5049483818 @default.
- W24701999 hasAuthorship W24701999A5052765480 @default.
- W24701999 hasAuthorship W24701999A5054527006 @default.
- W24701999 hasAuthorship W24701999A5066761763 @default.
- W24701999 hasAuthorship W24701999A5069085203 @default.
- W24701999 hasBestOaLocation W247019992 @default.
- W24701999 hasConcept C107457646 @default.
- W24701999 hasConcept C115903868 @default.
- W24701999 hasConcept C121332964 @default.
- W24701999 hasConcept C139807058 @default.
- W24701999 hasConcept C151730666 @default.
- W24701999 hasConcept C154945302 @default.
- W24701999 hasConcept C15744967 @default.
- W24701999 hasConcept C168167062 @default.
- W24701999 hasConcept C169760540 @default.
- W24701999 hasConcept C199360897 @default.
- W24701999 hasConcept C2779343474 @default.
- W24701999 hasConcept C41008148 @default.
- W24701999 hasConcept C86803240 @default.
- W24701999 hasConcept C97355855 @default.
- W24701999 hasConceptScore W24701999C107457646 @default.
- W24701999 hasConceptScore W24701999C115903868 @default.
- W24701999 hasConceptScore W24701999C121332964 @default.
- W24701999 hasConceptScore W24701999C139807058 @default.