Sch. of Comput., Northwestern Polytech. Univ., Xi'an, China;
formal specification; program compilers; program verification; software architecture; AADL architecture model; Architecture Analysis and Design Language model; B method; B-abstract machine; MDA; derivation rules; formal method; formal specification; model driven architecture; nondeterministic requirements problem; requirements consistency; software development; software functional attribute testing; software nonfunctional attribute testing; software semantics; software syntax; system requirements; transformation met;
机译:通过转换UML-RT设计模型对实时系统进行正式规范的方法学方法
机译:基于AADL的安全性分析,使用正式方法应用于飞机数字系统
机译:数字核电厂保护系统的正式软件需求规范方法
机译:B方法对AADL模型的形式规范与系统要求的转化方法
机译:规范和分析不精确需求的正式方法。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:通过转换UML-RT设计模型来对实时系统进行正式规范的方法学方法