formal languages; formal verification; object-oriented programming; pi calculus; component-based software; consistent dynamic update formalization; dynamic update consistency; dynamic update safety; formal calculus update; formal method; higher-order π calculus; language independent software; relational analysis; state transformation; technology independent software; update failure recovery; verification analysis; Calculus; Educational institutions; Runtime; Safety; Semantics; Software; Timing; component-based software; dynamic update; formal method; higher-order process calculus;
机译:用于动态更新基于组件的软件系统的强大的重新配置协议
机译:动态软件更新的行为正确性的形式化和验证
机译:用于设计健壮的软件系统和度量的基于组件的系统中的动力学的形式概念框架
机译:对基于组件的软件进行正式的一致动态更新
机译:全程序动态软件更新。
机译:动态配置和计算机辅助干预系统的控制基于构件的软件
机译:一致的基于组件的软件更新的微积分
机译:指定和验证动态软件更新的正确性。