formal specification; software reusability; software engineering; specification languages; programming language semantics; software reuse; formal specifications; software development life cycle; TUG; specification language; restaurant reservation system;
机译:SNL2Z:用于将非正式结构化软件规范转换为正式规范的工具科学出版物
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:使用参数化的形式规范来实现软件重用
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:基于静态分析指标和重用率信息的软件可重用性数据集
机译:SNL2Z:用于将非正式结构化软件规范转换为正式规范的工具