Matches in SemOpenAlex for { <https://semopenalex.org/work/W2807883684> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2807883684 abstract "随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要.UML(Unified Modeling Language,统一建模语言)作为面向对象的分析与设计技术的代表,已经获得了广泛的承认,并在多个领域中有成功的应用.然而,UML是一种符号化语言系统,其语义采用自然语言描述,没有完全形式化,无法精确和严格地描述模型的行为从而实现模型的验证.为了解决这个问题,文章提出了一种用于嵌入式系统UML模型验证的方法,其核心是可执行(Executable)UML,它是UML的增强性子集,采用与UML相同的符号表示法,并集成了状态图(State Chart)所用的形式化语义定义.嵌入式系统的UML模型经过语义分析能够很方便地生成可执行UML模型,并实现系统模型的验证." @default.
- W2807883684 created "2018-06-21" @default.
- W2807883684 creator A5004794621 @default.
- W2807883684 creator A5016319758 @default.
- W2807883684 creator A5063472996 @default.
- W2807883684 date "2001-01-01" @default.
- W2807883684 modified "2023-09-24" @default.
- W2807883684 title "Research on Verification for UML-Based Model of Embedded System" @default.
- W2807883684 hasPublicationYear "2001" @default.
- W2807883684 type Work @default.
- W2807883684 sameAs 2807883684 @default.
- W2807883684 citedByCount "0" @default.
- W2807883684 crossrefType "journal-article" @default.
- W2807883684 hasAuthorship W2807883684A5004794621 @default.
- W2807883684 hasAuthorship W2807883684A5016319758 @default.
- W2807883684 hasAuthorship W2807883684A5063472996 @default.
- W2807883684 hasConcept C115903868 @default.
- W2807883684 hasConcept C145644426 @default.
- W2807883684 hasConcept C146939238 @default.
- W2807883684 hasConcept C199360897 @default.
- W2807883684 hasConcept C2777904410 @default.
- W2807883684 hasConcept C41008148 @default.
- W2807883684 hasConcept C41298492 @default.
- W2807883684 hasConceptScore W2807883684C115903868 @default.
- W2807883684 hasConceptScore W2807883684C145644426 @default.
- W2807883684 hasConceptScore W2807883684C146939238 @default.
- W2807883684 hasConceptScore W2807883684C199360897 @default.
- W2807883684 hasConceptScore W2807883684C2777904410 @default.
- W2807883684 hasConceptScore W2807883684C41008148 @default.
- W2807883684 hasConceptScore W2807883684C41298492 @default.
- W2807883684 hasIssue "23" @default.
- W2807883684 hasLocation W28078836841 @default.
- W2807883684 hasOpenAccess W2807883684 @default.
- W2807883684 hasPrimaryLocation W28078836841 @default.
- W2807883684 hasRelatedWork W1566359901 @default.
- W2807883684 hasRelatedWork W1997164669 @default.
- W2807883684 hasRelatedWork W2203250668 @default.
- W2807883684 hasRelatedWork W2237193303 @default.
- W2807883684 hasRelatedWork W2331034605 @default.
- W2807883684 hasRelatedWork W2374264231 @default.
- W2807883684 hasRelatedWork W2377378566 @default.
- W2807883684 hasRelatedWork W2478326403 @default.
- W2807883684 hasRelatedWork W2490764176 @default.
- W2807883684 hasRelatedWork W2595044173 @default.
- W2807883684 hasRelatedWork W2650461535 @default.
- W2807883684 hasRelatedWork W2735788041 @default.
- W2807883684 hasRelatedWork W2743512570 @default.
- W2807883684 hasRelatedWork W2759242085 @default.
- W2807883684 hasRelatedWork W2808462661 @default.
- W2807883684 hasRelatedWork W2995369093 @default.
- W2807883684 hasRelatedWork W2999034619 @default.
- W2807883684 hasRelatedWork W3016015093 @default.
- W2807883684 hasRelatedWork W3133356494 @default.
- W2807883684 hasRelatedWork W2615808268 @default.
- W2807883684 hasVolume "37" @default.
- W2807883684 isParatext "false" @default.
- W2807883684 isRetracted "false" @default.
- W2807883684 magId "2807883684" @default.
- W2807883684 workType "article" @default.