aerospace computing; formal specification; specification languages; aeronautics; free text specifications; requirement engineering; specification language; system specifications; Companies; Context; Natural languages; Requirements engineering; Velocity control; Wheels; Writing;
机译:确定性上下文无关规范语言的监督控制综合最小限度地实施可控制性
机译:扩展基于本地上下文的视觉语言规范
机译:通过在无上下文语言上使用递归函数来促进形式规范的获取
机译:在航空背景下写入系统规范的语言
机译:从第一语言素养到第二语言口语再到第二语言素养:在外语环境中的写作行为
机译:跨语言和写作系统的发展性阅读障碍的功能性神经解剖学
机译:欧洲共同语言框架:成就与局限。在评估语言能力的背景下,参考框架的相关性以DEsI项目中的写作任务为例
机译:编译器编写系统详细设计规范。第1卷:语言规范