Matches in SemOpenAlex for { <https://semopenalex.org/work/W2367726797> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2367726797 abstract "It is presented that a formalization for UML statechart diagrams in the RAISE specification language RSL.By such a formalization, a general framework is proposed for integration of graphical UML statechart diagrams and formal RSL specifications,which forms the continuation of the previous work on formalization of UML class diagrams in RSL.This allows the definition of UML semantic interpretations that are precise and unambiguous,and also enhancing the readability,conciseness and abstraction of the resulting RSL specification.A case study illustrates how the framework can be used to create formal specification for UML models and analyze the properties of the models." @default.
- W2367726797 created "2016-06-24" @default.
- W2367726797 creator A5010600163 @default.
- W2367726797 creator A5068285146 @default.
- W2367726797 date "2005-01-01" @default.
- W2367726797 modified "2023-09-25" @default.
- W2367726797 title "The Formalization for UML Statechart Diagrams 1)" @default.
- W2367726797 hasPublicationYear "2005" @default.
- W2367726797 type Work @default.
- W2367726797 sameAs 2367726797 @default.
- W2367726797 citedByCount "0" @default.
- W2367726797 crossrefType "journal-article" @default.
- W2367726797 hasAuthorship W2367726797A5010600163 @default.
- W2367726797 hasAuthorship W2367726797A5068285146 @default.
- W2367726797 hasConcept C115903868 @default.
- W2367726797 hasConcept C116253237 @default.
- W2367726797 hasConcept C133264317 @default.
- W2367726797 hasConcept C145644426 @default.
- W2367726797 hasConcept C146939238 @default.
- W2367726797 hasConcept C168054591 @default.
- W2367726797 hasConcept C199360897 @default.
- W2367726797 hasConcept C202446494 @default.
- W2367726797 hasConcept C2777904410 @default.
- W2367726797 hasConcept C41008148 @default.
- W2367726797 hasConcept C41298492 @default.
- W2367726797 hasConcept C64219723 @default.
- W2367726797 hasConceptScore W2367726797C115903868 @default.
- W2367726797 hasConceptScore W2367726797C116253237 @default.
- W2367726797 hasConceptScore W2367726797C133264317 @default.
- W2367726797 hasConceptScore W2367726797C145644426 @default.
- W2367726797 hasConceptScore W2367726797C146939238 @default.
- W2367726797 hasConceptScore W2367726797C168054591 @default.
- W2367726797 hasConceptScore W2367726797C199360897 @default.
- W2367726797 hasConceptScore W2367726797C202446494 @default.
- W2367726797 hasConceptScore W2367726797C2777904410 @default.
- W2367726797 hasConceptScore W2367726797C41008148 @default.
- W2367726797 hasConceptScore W2367726797C41298492 @default.
- W2367726797 hasConceptScore W2367726797C64219723 @default.
- W2367726797 hasLocation W23677267971 @default.
- W2367726797 hasOpenAccess W2367726797 @default.
- W2367726797 hasPrimaryLocation W23677267971 @default.
- W2367726797 hasRelatedWork W12411492 @default.
- W2367726797 hasRelatedWork W151307972 @default.
- W2367726797 hasRelatedWork W1598161182 @default.
- W2367726797 hasRelatedWork W1602253799 @default.
- W2367726797 hasRelatedWork W1617816168 @default.
- W2367726797 hasRelatedWork W1758496109 @default.
- W2367726797 hasRelatedWork W1891110222 @default.
- W2367726797 hasRelatedWork W2005876630 @default.
- W2367726797 hasRelatedWork W2047545043 @default.
- W2367726797 hasRelatedWork W2126633122 @default.
- W2367726797 hasRelatedWork W2172173286 @default.
- W2367726797 hasRelatedWork W2360457585 @default.
- W2367726797 hasRelatedWork W2376426232 @default.
- W2367726797 hasRelatedWork W2377770612 @default.
- W2367726797 hasRelatedWork W2392781489 @default.
- W2367726797 hasRelatedWork W2809208176 @default.
- W2367726797 hasRelatedWork W2930651717 @default.
- W2367726797 hasRelatedWork W2980660034 @default.
- W2367726797 hasRelatedWork W3101352210 @default.
- W2367726797 isParatext "false" @default.
- W2367726797 isRetracted "false" @default.
- W2367726797 magId "2367726797" @default.
- W2367726797 workType "article" @default.