Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016066880> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2016066880 endingPage "382" @default.
- W2016066880 startingPage "365" @default.
- W2016066880 abstract "With the recent advancements in component-based software engineering, there is an increasing trend in developing applications for highly reliable and critical systems using pre-validated and reusable software components. As these applications are inherently complex and component-interactions are not straightforward, there is an immediate need for a methodology that could aid in composition of these reusable components ensuring the correctness of the composed software system. In this paper, we illustrate how the concepts of category theory can be utilized to develop component-based fault-tolerant software systems that encompass software components capable of tolerating particular types of faults. Our proposed framework for the development of a composite fault-tolerant program and verification of its overall correctness has been realized through a mechanized formal tool." @default.
- W2016066880 created "2016-06-24" @default.
- W2016066880 creator A5036732375 @default.
- W2016066880 creator A5090071947 @default.
- W2016066880 date "2005-04-01" @default.
- W2016066880 modified "2023-10-16" @default.
- W2016066880 title "A novel approach for component-based fault-tolerant software development" @default.
- W2016066880 cites W1495119494 @default.
- W2016066880 cites W1533008268 @default.
- W2016066880 cites W1542403019 @default.
- W2016066880 cites W1568997950 @default.
- W2016066880 cites W1661930086 @default.
- W2016066880 cites W1974482940 @default.
- W2016066880 cites W1996431954 @default.
- W2016066880 cites W2021257181 @default.
- W2016066880 cites W2027506139 @default.
- W2016066880 cites W2083290060 @default.
- W2016066880 cites W2098040439 @default.
- W2016066880 cites W2124734957 @default.
- W2016066880 cites W2140606557 @default.
- W2016066880 cites W2152465173 @default.
- W2016066880 cites W2165810979 @default.
- W2016066880 cites W593801064 @default.
- W2016066880 doi "https://doi.org/10.1016/j.infsof.2004.09.004" @default.
- W2016066880 hasPublicationYear "2005" @default.
- W2016066880 type Work @default.
- W2016066880 sameAs 2016066880 @default.
- W2016066880 citedByCount "5" @default.
- W2016066880 countsByYear W20160668802015 @default.
- W2016066880 crossrefType "journal-article" @default.
- W2016066880 hasAuthorship W2016066880A5036732375 @default.
- W2016066880 hasAuthorship W2016066880A5090071947 @default.
- W2016066880 hasConcept C115903868 @default.
- W2016066880 hasConcept C120314980 @default.
- W2016066880 hasConcept C121332964 @default.
- W2016066880 hasConcept C127413603 @default.
- W2016066880 hasConcept C149091818 @default.
- W2016066880 hasConcept C168167062 @default.
- W2016066880 hasConcept C174683762 @default.
- W2016066880 hasConcept C186846655 @default.
- W2016066880 hasConcept C199360897 @default.
- W2016066880 hasConcept C200601418 @default.
- W2016066880 hasConcept C201515116 @default.
- W2016066880 hasConcept C201995342 @default.
- W2016066880 hasConcept C21547014 @default.
- W2016066880 hasConcept C2777904410 @default.
- W2016066880 hasConcept C41008148 @default.
- W2016066880 hasConcept C48002344 @default.
- W2016066880 hasConcept C50712370 @default.
- W2016066880 hasConcept C529173508 @default.
- W2016066880 hasConcept C55439883 @default.
- W2016066880 hasConcept C63540848 @default.
- W2016066880 hasConcept C97355855 @default.
- W2016066880 hasConceptScore W2016066880C115903868 @default.
- W2016066880 hasConceptScore W2016066880C120314980 @default.
- W2016066880 hasConceptScore W2016066880C121332964 @default.
- W2016066880 hasConceptScore W2016066880C127413603 @default.
- W2016066880 hasConceptScore W2016066880C149091818 @default.
- W2016066880 hasConceptScore W2016066880C168167062 @default.
- W2016066880 hasConceptScore W2016066880C174683762 @default.
- W2016066880 hasConceptScore W2016066880C186846655 @default.
- W2016066880 hasConceptScore W2016066880C199360897 @default.
- W2016066880 hasConceptScore W2016066880C200601418 @default.
- W2016066880 hasConceptScore W2016066880C201515116 @default.
- W2016066880 hasConceptScore W2016066880C201995342 @default.
- W2016066880 hasConceptScore W2016066880C21547014 @default.
- W2016066880 hasConceptScore W2016066880C2777904410 @default.
- W2016066880 hasConceptScore W2016066880C41008148 @default.
- W2016066880 hasConceptScore W2016066880C48002344 @default.
- W2016066880 hasConceptScore W2016066880C50712370 @default.
- W2016066880 hasConceptScore W2016066880C529173508 @default.
- W2016066880 hasConceptScore W2016066880C55439883 @default.
- W2016066880 hasConceptScore W2016066880C63540848 @default.
- W2016066880 hasConceptScore W2016066880C97355855 @default.
- W2016066880 hasIssue "6" @default.
- W2016066880 hasLocation W20160668801 @default.
- W2016066880 hasOpenAccess W2016066880 @default.
- W2016066880 hasPrimaryLocation W20160668801 @default.
- W2016066880 hasRelatedWork W1575382834 @default.
- W2016066880 hasRelatedWork W2084241559 @default.
- W2016066880 hasRelatedWork W2159449405 @default.
- W2016066880 hasRelatedWork W2381408322 @default.
- W2016066880 hasRelatedWork W2387767950 @default.
- W2016066880 hasRelatedWork W2765903532 @default.
- W2016066880 hasRelatedWork W3153410672 @default.
- W2016066880 hasRelatedWork W4378700939 @default.
- W2016066880 hasRelatedWork W2183984908 @default.
- W2016066880 hasRelatedWork W2560461391 @default.
- W2016066880 hasVolume "47" @default.
- W2016066880 isParatext "false" @default.
- W2016066880 isRetracted "false" @default.
- W2016066880 magId "2016066880" @default.
- W2016066880 workType "article" @default.