Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026525660> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2026525660 abstract "Model Driven Development (MDD) is an approach to software development built around the notion of models. One of its implementation is the IBM RSA RTE, which uses the UML-RT modeling language. In this paper we introduce the tool SAUML (Symbolic Analysis of UML-RT Models) that enhances the current practice of MDD with the analyses of UML-RT models. The implemented technique is based on symbolic execution, features modularity and supports the reuse of analysis results. The paper gives an overview of this technique and its implementation in the IBM RSA RTE tool." @default.
- W2026525660 created "2016-06-24" @default.
- W2026525660 creator A5039521480 @default.
- W2026525660 creator A5072274322 @default.
- W2026525660 date "2011-11-01" @default.
- W2026525660 modified "2023-10-16" @default.
- W2026525660 title "SAUML: A tool for symbolic analysis of UML-RT models" @default.
- W2026525660 cites W1524841331 @default.
- W2026525660 cites W2060993374 @default.
- W2026525660 cites W2101512909 @default.
- W2026525660 cites W2101740953 @default.
- W2026525660 cites W2124657291 @default.
- W2026525660 cites W2169781840 @default.
- W2026525660 doi "https://doi.org/10.1109/ase.2011.6100136" @default.
- W2026525660 hasPublicationYear "2011" @default.
- W2026525660 type Work @default.
- W2026525660 sameAs 2026525660 @default.
- W2026525660 citedByCount "8" @default.
- W2026525660 countsByYear W20265256602012 @default.
- W2026525660 countsByYear W20265256602014 @default.
- W2026525660 countsByYear W20265256602023 @default.
- W2026525660 crossrefType "proceedings-article" @default.
- W2026525660 hasAuthorship W2026525660A5039521480 @default.
- W2026525660 hasAuthorship W2026525660A5072274322 @default.
- W2026525660 hasConcept C115903868 @default.
- W2026525660 hasConcept C127413603 @default.
- W2026525660 hasConcept C145644426 @default.
- W2026525660 hasConcept C146939238 @default.
- W2026525660 hasConcept C171250308 @default.
- W2026525660 hasConcept C179603123 @default.
- W2026525660 hasConcept C192562407 @default.
- W2026525660 hasConcept C199360897 @default.
- W2026525660 hasConcept C206588197 @default.
- W2026525660 hasConcept C2777904410 @default.
- W2026525660 hasConcept C2779478453 @default.
- W2026525660 hasConcept C41008148 @default.
- W2026525660 hasConcept C41298492 @default.
- W2026525660 hasConcept C54355233 @default.
- W2026525660 hasConcept C548081761 @default.
- W2026525660 hasConcept C65620979 @default.
- W2026525660 hasConcept C70388272 @default.
- W2026525660 hasConcept C80444323 @default.
- W2026525660 hasConcept C86803240 @default.
- W2026525660 hasConceptScore W2026525660C115903868 @default.
- W2026525660 hasConceptScore W2026525660C127413603 @default.
- W2026525660 hasConceptScore W2026525660C145644426 @default.
- W2026525660 hasConceptScore W2026525660C146939238 @default.
- W2026525660 hasConceptScore W2026525660C171250308 @default.
- W2026525660 hasConceptScore W2026525660C179603123 @default.
- W2026525660 hasConceptScore W2026525660C192562407 @default.
- W2026525660 hasConceptScore W2026525660C199360897 @default.
- W2026525660 hasConceptScore W2026525660C206588197 @default.
- W2026525660 hasConceptScore W2026525660C2777904410 @default.
- W2026525660 hasConceptScore W2026525660C2779478453 @default.
- W2026525660 hasConceptScore W2026525660C41008148 @default.
- W2026525660 hasConceptScore W2026525660C41298492 @default.
- W2026525660 hasConceptScore W2026525660C54355233 @default.
- W2026525660 hasConceptScore W2026525660C548081761 @default.
- W2026525660 hasConceptScore W2026525660C65620979 @default.
- W2026525660 hasConceptScore W2026525660C70388272 @default.
- W2026525660 hasConceptScore W2026525660C80444323 @default.
- W2026525660 hasConceptScore W2026525660C86803240 @default.
- W2026525660 hasLocation W20265256601 @default.
- W2026525660 hasOpenAccess W2026525660 @default.
- W2026525660 hasPrimaryLocation W20265256601 @default.
- W2026525660 hasRelatedWork W148395902 @default.
- W2026525660 hasRelatedWork W1789694677 @default.
- W2026525660 hasRelatedWork W1991038278 @default.
- W2026525660 hasRelatedWork W2026525660 @default.
- W2026525660 hasRelatedWork W2043210732 @default.
- W2026525660 hasRelatedWork W2083535558 @default.
- W2026525660 hasRelatedWork W2129225052 @default.
- W2026525660 hasRelatedWork W2384466694 @default.
- W2026525660 hasRelatedWork W2389791891 @default.
- W2026525660 hasRelatedWork W2067267448 @default.
- W2026525660 isParatext "false" @default.
- W2026525660 isRetracted "false" @default.
- W2026525660 magId "2026525660" @default.
- W2026525660 workType "article" @default.