美国信息技术协会 swMATH ID: 9404 软件作者： 安德鲁·道尔顿（Andrew R.Dalton）；杰森·奥·霍尔斯特罗姆 描述： nAIT：用于nesC的源代码分析和工具框架。自动化软件工程方法支持新系统和遗留系统的构建、维护和分析。由于它们所提供的生产力和可靠性优势，它们在桌面和企业级系统中的应用非常普遍。本文的贡献是为将这些方法的使用扩展到蓬勃发展的无线传感器网络领域提供应用基础。其目标是使开发人员能够构建工具，帮助理解基于事件的反应式系统的静态和动态属性。我们为nesC语言提供了一个静态分析和检测工具包，nesC语言是传感器网络开发的实际标准。我们重点介绍了该工具包的新颖方面，分析了其性能，并提供了说明其使用的典型案例研究。 主页： http://www.sciencedirect.com/science/article/pii/S0164121209000053 相关软件： 磁粉探伤;PVaniM公司;乔夫;VAMPIR（真空泵）;座椅;Seesoft公司;加马泰拉属;微型操作系统;贾瓦维斯 引用于： 1文件 4位作者引用 1 安德鲁·道尔顿。 1 斯拉文西·丹达穆迪 1 杰森·霍尔斯特罗姆。 1 萨利·瓦巴（Sally K.Wahba）。 连载1篇 1 计算机程序设计科学 在2个字段中引用 1 计算机科学（68至XX） 1 运筹学、数学编程（90-XX） 按年份列出的引文