Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486810819> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1486810819 abstract "Software complexity is the main obstacle to further progress in the IT industry. One solution is the autonomic system with self-* properties. Formal methods are proven approaches to ensuring the correct operation of complex interacting systems. However, the current formal methods do not adequately address the problem of verifying two of the most important features of auto-nomic systems, namely emergent behavior and evolving behavior. Category Theory (CT) has recently been proposed as a formal framework to provide a structure for isolating the management of evolving specifications and the analysis of changes. We propose a formal framework based on CT in this paper to specify reactive autonomic systems. Our approach is illustrated with a NASA case study." @default.
- W1486810819 created "2016-06-24" @default.
- W1486810819 creator A5017331013 @default.
- W1486810819 creator A5021093152 @default.
- W1486810819 creator A5039571720 @default.
- W1486810819 creator A5058400173 @default.
- W1486810819 creator A5080541929 @default.
- W1486810819 date "2009-01-01" @default.
- W1486810819 modified "2023-10-04" @default.
- W1486810819 title "Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study" @default.
- W1486810819 cites W1942703822 @default.
- W1486810819 cites W1987014802 @default.
- W1486810819 cites W1990911977 @default.
- W1486810819 cites W2099546962 @default.
- W1486810819 cites W2146852453 @default.
- W1486810819 cites W2155093206 @default.
- W1486810819 cites W2170628061 @default.
- W1486810819 cites W4234282284 @default.
- W1486810819 cites W4251799386 @default.
- W1486810819 doi "https://doi.org/10.1007/978-3-642-05441-9_11" @default.
- W1486810819 hasPublicationYear "2009" @default.
- W1486810819 type Work @default.
- W1486810819 sameAs 1486810819 @default.
- W1486810819 citedByCount "6" @default.
- W1486810819 countsByYear W14868108192015 @default.
- W1486810819 crossrefType "book-chapter" @default.
- W1486810819 hasAuthorship W1486810819A5017331013 @default.
- W1486810819 hasAuthorship W1486810819A5021093152 @default.
- W1486810819 hasAuthorship W1486810819A5039571720 @default.
- W1486810819 hasAuthorship W1486810819A5058400173 @default.
- W1486810819 hasAuthorship W1486810819A5080541929 @default.
- W1486810819 hasBestOaLocation W14868108192 @default.
- W1486810819 hasConcept C112930515 @default.
- W1486810819 hasConcept C115903868 @default.
- W1486810819 hasConcept C119857082 @default.
- W1486810819 hasConcept C144701195 @default.
- W1486810819 hasConcept C154945302 @default.
- W1486810819 hasConcept C17744445 @default.
- W1486810819 hasConcept C199360897 @default.
- W1486810819 hasConcept C199539241 @default.
- W1486810819 hasConcept C2776650193 @default.
- W1486810819 hasConcept C2985583900 @default.
- W1486810819 hasConcept C41008148 @default.
- W1486810819 hasConcept C5274069 @default.
- W1486810819 hasConcept C71924100 @default.
- W1486810819 hasConcept C75606506 @default.
- W1486810819 hasConcept C80444323 @default.
- W1486810819 hasConceptScore W1486810819C112930515 @default.
- W1486810819 hasConceptScore W1486810819C115903868 @default.
- W1486810819 hasConceptScore W1486810819C119857082 @default.
- W1486810819 hasConceptScore W1486810819C144701195 @default.
- W1486810819 hasConceptScore W1486810819C154945302 @default.
- W1486810819 hasConceptScore W1486810819C17744445 @default.
- W1486810819 hasConceptScore W1486810819C199360897 @default.
- W1486810819 hasConceptScore W1486810819C199539241 @default.
- W1486810819 hasConceptScore W1486810819C2776650193 @default.
- W1486810819 hasConceptScore W1486810819C2985583900 @default.
- W1486810819 hasConceptScore W1486810819C41008148 @default.
- W1486810819 hasConceptScore W1486810819C5274069 @default.
- W1486810819 hasConceptScore W1486810819C71924100 @default.
- W1486810819 hasConceptScore W1486810819C75606506 @default.
- W1486810819 hasConceptScore W1486810819C80444323 @default.
- W1486810819 hasLocation W14868108191 @default.
- W1486810819 hasLocation W14868108192 @default.
- W1486810819 hasOpenAccess W1486810819 @default.
- W1486810819 hasPrimaryLocation W14868108191 @default.
- W1486810819 hasRelatedWork W1942703822 @default.
- W1486810819 hasRelatedWork W1973938846 @default.
- W1486810819 hasRelatedWork W2131437855 @default.
- W1486810819 hasRelatedWork W2367069011 @default.
- W1486810819 hasRelatedWork W2400661476 @default.
- W1486810819 hasRelatedWork W2480343407 @default.
- W1486810819 hasRelatedWork W2560742310 @default.
- W1486810819 hasRelatedWork W2625294690 @default.
- W1486810819 hasRelatedWork W2781794173 @default.
- W1486810819 hasRelatedWork W2794578856 @default.
- W1486810819 hasRelatedWork W2885807479 @default.
- W1486810819 hasRelatedWork W2897142836 @default.
- W1486810819 hasRelatedWork W2912553069 @default.
- W1486810819 hasRelatedWork W2953688293 @default.
- W1486810819 hasRelatedWork W2963903887 @default.
- W1486810819 hasRelatedWork W2991347187 @default.
- W1486810819 hasRelatedWork W3005113989 @default.
- W1486810819 hasRelatedWork W3037930267 @default.
- W1486810819 hasRelatedWork W3166180678 @default.
- W1486810819 hasRelatedWork W2461883018 @default.
- W1486810819 isParatext "false" @default.
- W1486810819 isRetracted "false" @default.
- W1486810819 magId "1486810819" @default.
- W1486810819 workType "book-chapter" @default.