FRINK Linked Data Fragments server

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

• W1567720953 endingPage "286" @default.
• W1567720953 startingPage "259" @default.
• W1567720953 abstract "The use of formal model based (FMB) methods to evaluate the quality of components is an important research area. Except for a growing number of exceptions, FMB methods are still not really used in practice. This chapter presents two case studies that illustrate the value of FMB approaches for developing and evaluating component-based software. In the first study, Zed (or Z) and Statecharts are used to evaluate (a priori) the software requirement specification of a Guidance Control System for completeness, consistency and fault-tolerance. The second study evaluates (post-priori) the reliability of a complex vehicle system using Stochastic Activity Networks (SANs). The FMB approach presented here provides further evidence that such methods can indeed be useful by showing how these two different industrial strength systems were assessed and the results. Clearly, future investigations of this nature will help to convince software system developers using component based approaches that such FMB methods should be considered as a valuable tool toward improving the software product lifecycle (quality, schedule and cost)." @default.
• W1567720953 created "2016-06-24" @default.
• W1567720953 creator A5002808481 @default.
• W1567720953 creator A5019549865 @default.
• W1567720953 creator A5089238078 @default.
• W1567720953 date "2003-01-01" @default.
• W1567720953 modified "2023-10-16" @default.
• W1567720953 title "Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability" @default.
• W1567720953 cites W1960682045 @default.
• W1567720953 cites W1974945507 @default.
• W1567720953 cites W1981175981 @default.
• W1567720953 cites W1990661547 @default.
• W1567720953 cites W1999823724 @default.
• W1567720953 cites W2032832792 @default.
• W1567720953 cites W2052727566 @default.
• W1567720953 cites W2073107519 @default.
• W1567720953 cites W2099529102 @default.
• W1567720953 cites W2114945533 @default.
• W1567720953 cites W2118683240 @default.
• W1567720953 cites W2126975916 @default.
• W1567720953 cites W2129262519 @default.
• W1567720953 cites W2148466007 @default.
• W1567720953 cites W2404382636 @default.
• W1567720953 doi "https://doi.org/10.1007/978-3-540-45064-1_13" @default.
• W1567720953 hasPublicationYear "2003" @default.
• W1567720953 type Work @default.
• W1567720953 sameAs 1567720953 @default.
• W1567720953 citedByCount "7" @default.
• W1567720953 countsByYear W15677209532012 @default.
• W1567720953 countsByYear W15677209532014 @default.
• W1567720953 countsByYear W15677209532018 @default.
• W1567720953 countsByYear W15677209532019 @default.
• W1567720953 crossrefType "book-chapter" @default.
• W1567720953 hasAuthorship W1567720953A5002808481 @default.
• W1567720953 hasAuthorship W1567720953A5019549865 @default.
• W1567720953 hasAuthorship W1567720953A5089238078 @default.
• W1567720953 hasBestOaLocation W15677209532 @default.
• W1567720953 hasConcept C111472728 @default.
• W1567720953 hasConcept C111919701 @default.
• W1567720953 hasConcept C115903868 @default.
• W1567720953 hasConcept C117447612 @default.
• W1567720953 hasConcept C121332964 @default.
• W1567720953 hasConcept C124101348 @default.
• W1567720953 hasConcept C127413603 @default.
• W1567720953 hasConcept C134306372 @default.
• W1567720953 hasConcept C138885662 @default.
• W1567720953 hasConcept C149091818 @default.
• W1567720953 hasConcept C154945302 @default.
• W1567720953 hasConcept C163258240 @default.
• W1567720953 hasConcept C168167062 @default.
• W1567720953 hasConcept C17231256 @default.
• W1567720953 hasConcept C174683762 @default.
• W1567720953 hasConcept C199360897 @default.
• W1567720953 hasConcept C200601418 @default.
• W1567720953 hasConcept C2776436953 @default.
• W1567720953 hasConcept C2777904410 @default.
• W1567720953 hasConcept C33923547 @default.
• W1567720953 hasConcept C41008148 @default.
• W1567720953 hasConcept C43214815 @default.
• W1567720953 hasConcept C529173508 @default.
• W1567720953 hasConcept C62520636 @default.
• W1567720953 hasConcept C68387754 @default.
• W1567720953 hasConcept C75553542 @default.
• W1567720953 hasConcept C97355855 @default.
• W1567720953 hasConceptScore W1567720953C111472728 @default.
• W1567720953 hasConceptScore W1567720953C111919701 @default.
• W1567720953 hasConceptScore W1567720953C115903868 @default.
• W1567720953 hasConceptScore W1567720953C117447612 @default.
• W1567720953 hasConceptScore W1567720953C121332964 @default.
• W1567720953 hasConceptScore W1567720953C124101348 @default.
• W1567720953 hasConceptScore W1567720953C127413603 @default.
• W1567720953 hasConceptScore W1567720953C134306372 @default.
• W1567720953 hasConceptScore W1567720953C138885662 @default.
• W1567720953 hasConceptScore W1567720953C149091818 @default.
• W1567720953 hasConceptScore W1567720953C154945302 @default.
• W1567720953 hasConceptScore W1567720953C163258240 @default.
• W1567720953 hasConceptScore W1567720953C168167062 @default.
• W1567720953 hasConceptScore W1567720953C17231256 @default.
• W1567720953 hasConceptScore W1567720953C174683762 @default.
• W1567720953 hasConceptScore W1567720953C199360897 @default.
• W1567720953 hasConceptScore W1567720953C200601418 @default.
• W1567720953 hasConceptScore W1567720953C2776436953 @default.
• W1567720953 hasConceptScore W1567720953C2777904410 @default.
• W1567720953 hasConceptScore W1567720953C33923547 @default.
• W1567720953 hasConceptScore W1567720953C41008148 @default.
• W1567720953 hasConceptScore W1567720953C43214815 @default.
• W1567720953 hasConceptScore W1567720953C529173508 @default.
• W1567720953 hasConceptScore W1567720953C62520636 @default.
• W1567720953 hasConceptScore W1567720953C68387754 @default.
• W1567720953 hasConceptScore W1567720953C75553542 @default.
• W1567720953 hasConceptScore W1567720953C97355855 @default.
• W1567720953 hasLocation W15677209531 @default.
• W1567720953 hasLocation W15677209532 @default.
• W1567720953 hasOpenAccess W1567720953 @default.
• W1567720953 hasPrimaryLocation W15677209531 @default.
• W1567720953 hasRelatedWork W1539513769 @default.
• W1567720953 hasRelatedWork W1542251936 @default.
• W1567720953 hasRelatedWork W2040210879 @default.

• next