formal specification; formal verification; meta-model; requirements elicitation; requirements specification; software modeling; software requirement; software systems; Domain Modeling.; Requirements Engineering; Requirements elicitation;
机译:嵌入式控制软件中特定领域物理特性模型的验证和分析
机译:离子液体溶剂的亚伯拉罕模型相关性:用于更新现有离子特定方程系数的计算方法
机译:在嵌入式控制软件中将特定领域的物理模型与通用软件模块组合在一起
机译:通过比较现有的类似系统,在特定领域中建模软件特性及其相关性
机译:参考体系结构表示环境(RARE):系统推导和评估特定于领域,与实现无关的软件体系结构。
机译:促进系统生物学模型重用的数学建模语言的特征:软件工程视角
机译:通过比较现有的相似系统建模特定域中的软件特征及其相关性