机译:规范模式:正式而容易
Dpto. Computacion, FCEyN, UBA Pabellon Ⅰ, Ciudad Universitaria (C1428EGA), Buenos Aires, Argentina;
Dpto. Computacion, FCEyN, UBA Pabellon Ⅰ, Ciudad Universitaria (C1428EGA), Buenos Aires, Argentina;
Behavioral modeling; specification patterns; requirements engineering;
机译:轻松的规范规范和无边界网络架构的验证
机译:语法重构模式的形式规范
机译:设计模式的变体和行为特征的形式规范
机译:规范模式可以是正式的,仍然很容易
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:减少正式护理的可获得性对正式/非正式护理模式和护理人员健康的影响:一项使用日本长期护理保险改革的准实验研究
机译:1关于通过规范模式的基于自动机的程序的形式规范
机译:计算科学:在控制系统正式规范中代表FmEa的模式