机译:表征和评估软件过程建模语言的质量:十种基于模型的代表性语言的比较
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:基于离散实时和随机过程代数的分布式系统性能评估
机译:实时软件系统建模语言的比较和评估
机译:7U评估方法:通过运行时故障注入以及可靠性,可用性和可维护性(RAS)度量和模型评估软件系统。
机译:促进系统生物学模型重用的数学建模语言的特征:软件工程视角
机译:实时系统硬件/软件协同分析和协同设计中结构化的面向对象启发和时间约束分析的方法论
机译:用于实时嵌入式软件密集型,过程和资源管理系统的快速原型开发工具的商业化