NASA/WVU Software Research Lab 100 University Drive Fairmont, WV 26554;
COTS products; specification; verification; testing; RESOLVE;
机译:端到端正式规范,验证和验证过程:太空飞行软件的案例研究
机译:SNL2Z:用于将非正式结构化软件规范转换为正式规范的工具科学出版物
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:基于COTS的软件的正式规范:案例研究
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:软件测量和形式化方法:以TRIO +规范为中心的案例研究