Fast formal analysis; Errors; Algorithms; Requirements; Computer programs; Costs; Iteration; Domains;
机译:使用Z表示法的用例图的多视图形式化模型:旨在提高功能需求质量
机译:SysML需求图的正式模型
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:通过“拓扑图”快速形式化需求分析
机译:网络物理系统的形式需求驱动分析。
机译:使用Event-B对不精确的系统要求进行形式化分析
机译:通过“拓扑图”快速形式化需求分析
机译:通过“Topoi Diagrams”快速形式化分析需求