formal languages; formal specification; object-oriented languages; Java programs; SOFL formal specifications; formal engineering method; formal methods; industrial software development systems; structured object-oriented formal language; Finite element analysis; Formal specifications; Java; Semantics; Software systems; Testing; XML; Automatic transformations; Formal specifications; Programs; SOFL;
机译:SOFL正式规格中流程的输入/输出的自动可视化
机译:使用基于组件的框架技术的应用程序的正式规范
机译:使用基于组件的框架技术的应用程序的正式规范
机译:将SOFL正式规范转换为程序的框架
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:在SOFL正式规格中的进程输入/输出自动可视化的设计与实现
机译:将聚合的面向对象的形式规范转换为代码