Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097777162> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2097777162 abstract "A formal method for software development often introduces a gap between rigidity of the method and informal nature of system requirements. This paper presents a UML-based framework for design and analysis of dependable software while narrowing such a gap. We model the intended functions of a software application with UML statecharts and security threats, i.e., potential attacks, with sequence diagrams. The statechart diagrams are converted into a graph transformation system, which is a well-studied formal method. This allows security threats to be verified against intended functions." @default.
- W2097777162 created "2016-06-24" @default.
- W2097777162 creator A5066949209 @default.
- W2097777162 creator A5080541939 @default.
- W2097777162 date "2008-01-01" @default.
- W2097777162 modified "2023-09-23" @default.
- W2097777162 title "A UML-Based Framework for Design and Analysis of Dependable Software" @default.
- W2097777162 cites W2094749242 @default.
- W2097777162 cites W2104846611 @default.
- W2097777162 doi "https://doi.org/10.1109/compsac.2008.114" @default.
- W2097777162 hasPublicationYear "2008" @default.
- W2097777162 type Work @default.
- W2097777162 sameAs 2097777162 @default.
- W2097777162 citedByCount "7" @default.
- W2097777162 countsByYear W20977771622012 @default.
- W2097777162 countsByYear W20977771622013 @default.
- W2097777162 countsByYear W20977771622015 @default.
- W2097777162 crossrefType "proceedings-article" @default.
- W2097777162 hasAuthorship W2097777162A5066949209 @default.
- W2097777162 hasAuthorship W2097777162A5080541939 @default.
- W2097777162 hasConcept C115903868 @default.
- W2097777162 hasConcept C145644426 @default.
- W2097777162 hasConcept C146939238 @default.
- W2097777162 hasConcept C199360897 @default.
- W2097777162 hasConcept C2777904410 @default.
- W2097777162 hasConcept C41008148 @default.
- W2097777162 hasConcept C41298492 @default.
- W2097777162 hasConceptScore W2097777162C115903868 @default.
- W2097777162 hasConceptScore W2097777162C145644426 @default.
- W2097777162 hasConceptScore W2097777162C146939238 @default.
- W2097777162 hasConceptScore W2097777162C199360897 @default.
- W2097777162 hasConceptScore W2097777162C2777904410 @default.
- W2097777162 hasConceptScore W2097777162C41008148 @default.
- W2097777162 hasConceptScore W2097777162C41298492 @default.
- W2097777162 hasLocation W20977771621 @default.
- W2097777162 hasOpenAccess W2097777162 @default.
- W2097777162 hasPrimaryLocation W20977771621 @default.
- W2097777162 hasRelatedWork W1510078815 @default.
- W2097777162 hasRelatedWork W1544938665 @default.
- W2097777162 hasRelatedWork W1775132212 @default.
- W2097777162 hasRelatedWork W2020544977 @default.
- W2097777162 hasRelatedWork W2083535558 @default.
- W2097777162 hasRelatedWork W2159720139 @default.
- W2097777162 hasRelatedWork W2368976463 @default.
- W2097777162 hasRelatedWork W2381137142 @default.
- W2097777162 hasRelatedWork W2389791891 @default.
- W2097777162 hasRelatedWork W4229884746 @default.
- W2097777162 isParatext "false" @default.
- W2097777162 isRetracted "false" @default.
- W2097777162 magId "2097777162" @default.
- W2097777162 workType "article" @default.