乌姆西姆 swMATH编号: 44342 软件作者: 维尔纳·阿尔梅斯伯格 描述: umlsim-基于UML的模拟器。umlsim扩展了用户模式Linux(UML),使用事件驱动的模拟引擎和其他必要的工具来确定地控制UML内核及其下运行的应用程序所看到的时间流。umlsim将对研究和内核开发中的广泛应用程序有用,包括涉及网络代码、回归测试、竞争条件证明、配置脚本验证以及性能分析的模拟。本文描述了umlsim的设计和实现,简要概述了脚本语言,并给出了一个实际使用示例 主页: https://www.almesberger.net/cv/papers/umlsim-lk2003.pdf 相关软件: ASM公司;PeerSim公司;Coq公司;TLA公司;MODIST公司;D3S公司;D匹配;张开;BuzzPSS系统;数据瓶;dBug(分贝);内科;升高;SAMC公司;压铸;Elas测试;Minha公司;糕点;Hadoop公司;行星实验室 引用于: 1文件 4位作者引用 1 法比奥·科埃略 1 努诺·马查多 1 梅亚,弗朗西斯科 1 弗朗西斯科·奈维斯 0连载引用 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文