Software; Feature extraction; Complexity theory; Tools; Visualization; Software product lines; Organizations;
机译:论抽象状态机规范中语言构建结构的可理解性:一种受控实验
机译:行为接口规范语言
机译:领域特定建模语言的行为语义的组合规范
机译:使用抽象行为规范语言进行分组
机译:使用时态逻辑功能增强行为接口规范语言。
机译:音乐和语言处理共享行为和脑功能
机译:aBs:抽象行为规范的核心语言