consistent modeling of embedded applications; state-based collaboration diagram; collaboration diagram in a layer model; client-server object diagram; safety-related systems;
机译:单元测试用于优化嵌入式软件开发:Frank Buechner介绍了如何通过单元测试减少嵌入式应用程序中的软件错误。
机译:运输中的嵌入式软件:Colin Walls着眼于嵌入式软件在运输应用中的使用,涵盖编程技术,重点是对C的适当使用以及实时问题以及介绍OSEK / VDX
机译:为嵌入式微控制器实现一致的软件平台
机译:嵌入式应用程序中基于对象的一致软件构造
机译:用于嵌入式Manycore处理器上流应用程序的自动化软件综合。
机译:校正:构建多尺度一致的脑网络:方法和应用
机译:嵌入式软件中全局一致性可执行断言的系统设计
机译:基于对象的嵌入式软件设计