FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2279667028> ?p ?o ?g. }

• W2279667028 endingPage "281" @default.
• W2279667028 startingPage "251" @default.
• W2279667028 abstract "Among the different techniques that are used to design self-adaptive software systems, control theory allows one to design an adaptation policy whose properties, such as stability and accuracy, can be formally guaranteed under certain assumptions. However, in the case of software systems, the integration of these controllers to build complete feedback control loops remains manual. More importantly, it requires an extensive handcrafting of non-trivial implementation code. This may lead to inconsistencies and instabilities as no systematic and automated assurance can be obtained on the fact that the initial assumptions for the designed controller still hold in the resulting system. In this chapter, we rely on the principles of design-by-contract to ensure the correction and robustness of a self-adaptive software system built using feedback control loops. Our solution raises the level of abstraction upon which the loops are specified by allowing one to define and automatically verify system-level properties organized in contracts. They cover behavioral, structural and temporal architectural constraints as well as explicit interaction. These contracts are complemented by a first-class support for systematic fault handling. As a result, assumptions about the system operation conditions become more explicit and verifiable in a systematic way." @default.
• W2279667028 created "2016-06-24" @default.
• W2279667028 creator A5027263475 @default.
• W2279667028 creator A5042260167 @default.
• W2279667028 creator A5080763609 @default.
• W2279667028 creator A5082468751 @default.
• W2279667028 date "2017-01-01" @default.
• W2279667028 modified "2023-10-13" @default.
• W2279667028 title "Contracts-Based Control Integration into Software Systems" @default.
• W2279667028 cites W108863096 @default.
• W2279667028 cites W1523206841 @default.
• W2279667028 cites W1525527210 @default.
• W2279667028 cites W1608346718 @default.
• W2279667028 cites W1771743772 @default.
• W2279667028 cites W1964137226 @default.
• W2279667028 cites W1970289470 @default.
• W2279667028 cites W1987313045 @default.
• W2279667028 cites W2000302396 @default.
• W2279667028 cites W2002016612 @default.
• W2279667028 cites W2015244008 @default.
• W2279667028 cites W2015646261 @default.
• W2279667028 cites W2015937909 @default.
• W2279667028 cites W2017850655 @default.
• W2279667028 cites W2020142680 @default.
• W2279667028 cites W2023808162 @default.
• W2279667028 cites W2032916481 @default.
• W2279667028 cites W2033406822 @default.
• W2279667028 cites W2051371107 @default.
• W2279667028 cites W2052363833 @default.
• W2279667028 cites W2087409125 @default.
• W2279667028 cites W2100698629 @default.
• W2279667028 cites W2125876733 @default.
• W2279667028 cites W2134485500 @default.
• W2279667028 cites W2137591753 @default.
• W2279667028 cites W2137948900 @default.
• W2279667028 cites W2145071982 @default.
• W2279667028 cites W2147642262 @default.
• W2279667028 cites W2154774499 @default.
• W2279667028 cites W2155691344 @default.
• W2279667028 cites W2156316688 @default.
• W2279667028 cites W2157598146 @default.
• W2279667028 cites W2163104689 @default.
• W2279667028 cites W2169180789 @default.
• W2279667028 cites W2293287097 @default.
• W2279667028 cites W2482678392 @default.
• W2279667028 cites W2128507851 @default.
• W2279667028 doi "https://doi.org/10.1007/978-3-319-74183-3_9" @default.
• W2279667028 hasPublicationYear "2017" @default.
• W2279667028 type Work @default.
• W2279667028 sameAs 2279667028 @default.
• W2279667028 citedByCount "2" @default.
• W2279667028 countsByYear W22796670282021 @default.
• W2279667028 crossrefType "book-chapter" @default.
• W2279667028 hasAuthorship W2279667028A5027263475 @default.
• W2279667028 hasAuthorship W2279667028A5042260167 @default.
• W2279667028 hasAuthorship W2279667028A5080763609 @default.
• W2279667028 hasAuthorship W2279667028A5082468751 @default.
• W2279667028 hasBestOaLocation W22796670282 @default.
• W2279667028 hasConcept C104317684 @default.
• W2279667028 hasConcept C111472728 @default.
• W2279667028 hasConcept C119599485 @default.
• W2279667028 hasConcept C120314980 @default.
• W2279667028 hasConcept C120665830 @default.
• W2279667028 hasConcept C121332964 @default.
• W2279667028 hasConcept C124304363 @default.
• W2279667028 hasConcept C127413603 @default.
• W2279667028 hasConcept C133731056 @default.
• W2279667028 hasConcept C138885662 @default.
• W2279667028 hasConcept C139807058 @default.
• W2279667028 hasConcept C154945302 @default.
• W2279667028 hasConcept C17500928 @default.
• W2279667028 hasConcept C177264268 @default.
• W2279667028 hasConcept C185592680 @default.
• W2279667028 hasConcept C199360897 @default.
• W2279667028 hasConcept C2775924081 @default.
• W2279667028 hasConcept C2777904410 @default.
• W2279667028 hasConcept C2780428219 @default.
• W2279667028 hasConcept C41008148 @default.
• W2279667028 hasConcept C47446073 @default.
• W2279667028 hasConcept C55493867 @default.
• W2279667028 hasConcept C63479239 @default.
• W2279667028 hasConcept C78519656 @default.
• W2279667028 hasConcept C85847156 @default.
• W2279667028 hasConceptScore W2279667028C104317684 @default.
• W2279667028 hasConceptScore W2279667028C111472728 @default.
• W2279667028 hasConceptScore W2279667028C119599485 @default.
• W2279667028 hasConceptScore W2279667028C120314980 @default.
• W2279667028 hasConceptScore W2279667028C120665830 @default.
• W2279667028 hasConceptScore W2279667028C121332964 @default.
• W2279667028 hasConceptScore W2279667028C124304363 @default.
• W2279667028 hasConceptScore W2279667028C127413603 @default.
• W2279667028 hasConceptScore W2279667028C133731056 @default.
• W2279667028 hasConceptScore W2279667028C138885662 @default.
• W2279667028 hasConceptScore W2279667028C139807058 @default.
• W2279667028 hasConceptScore W2279667028C154945302 @default.
• W2279667028 hasConceptScore W2279667028C17500928 @default.
• W2279667028 hasConceptScore W2279667028C177264268 @default.
• W2279667028 hasConceptScore W2279667028C185592680 @default.

• next