Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007125424> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2007125424 endingPage "30" @default.
- W2007125424 startingPage "16" @default.
- W2007125424 abstract "When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysis model and the formal methods used during the analysis are hidden from the user. We illustrate the usefulness of our approach using an industrial strength case study." @default.
- W2007125424 created "2016-06-24" @default.
- W2007125424 creator A5038809501 @default.
- W2007125424 creator A5045470371 @default.
- W2007125424 date "2011-07-04" @default.
- W2007125424 modified "2023-10-01" @default.
- W2007125424 title "QuantUM: Quantitative Safety Analysis of UML Models" @default.
- W2007125424 cites W1498125516 @default.
- W2007125424 cites W1537624148 @default.
- W2007125424 cites W1856724728 @default.
- W2007125424 cites W1859458367 @default.
- W2007125424 cites W2016492784 @default.
- W2007125424 cites W2041226400 @default.
- W2007125424 cites W2117189826 @default.
- W2007125424 cites W2137819283 @default.
- W2007125424 cites W2141881497 @default.
- W2007125424 cites W2142108731 @default.
- W2007125424 cites W2144320318 @default.
- W2007125424 cites W2145167856 @default.
- W2007125424 cites W2146049822 @default.
- W2007125424 cites W2152863619 @default.
- W2007125424 cites W2156008373 @default.
- W2007125424 cites W3137220996 @default.
- W2007125424 doi "https://doi.org/10.4204/eptcs.57.2" @default.
- W2007125424 hasPublicationYear "2011" @default.
- W2007125424 type Work @default.
- W2007125424 sameAs 2007125424 @default.
- W2007125424 citedByCount "23" @default.
- W2007125424 countsByYear W20071254242012 @default.
- W2007125424 countsByYear W20071254242013 @default.
- W2007125424 countsByYear W20071254242014 @default.
- W2007125424 countsByYear W20071254242015 @default.
- W2007125424 countsByYear W20071254242017 @default.
- W2007125424 countsByYear W20071254242018 @default.
- W2007125424 countsByYear W20071254242019 @default.
- W2007125424 countsByYear W20071254242021 @default.
- W2007125424 crossrefType "journal-article" @default.
- W2007125424 hasAuthorship W2007125424A5038809501 @default.
- W2007125424 hasAuthorship W2007125424A5045470371 @default.
- W2007125424 hasBestOaLocation W20071254241 @default.
- W2007125424 hasConcept C115903868 @default.
- W2007125424 hasConcept C145644426 @default.
- W2007125424 hasConcept C146939238 @default.
- W2007125424 hasConcept C199360897 @default.
- W2007125424 hasConcept C2777904410 @default.
- W2007125424 hasConcept C41008148 @default.
- W2007125424 hasConcept C41298492 @default.
- W2007125424 hasConcept C75606506 @default.
- W2007125424 hasConceptScore W2007125424C115903868 @default.
- W2007125424 hasConceptScore W2007125424C145644426 @default.
- W2007125424 hasConceptScore W2007125424C146939238 @default.
- W2007125424 hasConceptScore W2007125424C199360897 @default.
- W2007125424 hasConceptScore W2007125424C2777904410 @default.
- W2007125424 hasConceptScore W2007125424C41008148 @default.
- W2007125424 hasConceptScore W2007125424C41298492 @default.
- W2007125424 hasConceptScore W2007125424C75606506 @default.
- W2007125424 hasLocation W20071254241 @default.
- W2007125424 hasLocation W20071254242 @default.
- W2007125424 hasOpenAccess W2007125424 @default.
- W2007125424 hasPrimaryLocation W20071254241 @default.
- W2007125424 hasRelatedWork W1544938665 @default.
- W2007125424 hasRelatedWork W2083535558 @default.
- W2007125424 hasRelatedWork W2149637117 @default.
- W2007125424 hasRelatedWork W2167935884 @default.
- W2007125424 hasRelatedWork W2368976463 @default.
- W2007125424 hasRelatedWork W2384330991 @default.
- W2007125424 hasRelatedWork W2384466694 @default.
- W2007125424 hasRelatedWork W2389791891 @default.
- W2007125424 hasRelatedWork W71210240 @default.
- W2007125424 hasRelatedWork W1762874542 @default.
- W2007125424 hasVolume "57" @default.
- W2007125424 isParatext "false" @default.
- W2007125424 isRetracted "false" @default.
- W2007125424 magId "2007125424" @default.
- W2007125424 workType "article" @default.