需求规约语言相关论文
提出了一个面向网络并行环境的需求规约语言OORSL.OORSL支持面向对象的分析方法,可以定义并行成分一进程,可以使用前后断言来表达......
针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements......
