Software engineering; Finite difference theory; Specifications; Computer programverification; Computer program portability; Mathematical models; Heat transfer; One dimensional flow; Matrices(Mathematics); Complexity;
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:将正式规范应用于实际软件开发
机译:将基于动画的检查集成到可靠软件系统的正式设计规范构建中
机译:正式的软件工程范式:通过对软件的要求竞争域 - 正式规格和设计计算 -
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:无线传感器和执行器网络的正式规范和设计技术
机译:在数字软件设计中应用抽象和形式规范
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件