...
机译:验证模型驱动的开发过程中使用的面向目标的规范
Univ Andres Bello, Fac Ingn, Santiago, Chile;
Univ Diego Portales, Fac Ingn, Escuela Informat & Telecomunicac, Santiago, Chile;
Univ Politecn Cataluna, Barcelona, Spain;
Univ Politecn Cataluna, Barcelona, Spain;
Univ Politecn Valencia, Ctr Invest Metodos Prod Software, Valencia, Spain;
Model-driven development; Verification approach; Goal-oriented requirements; i* framework;
机译:MicroBuilder的开发和评估:用于REST微服务软件体系结构规范的模型驱动工具
机译:使用模型驱动的开发促进WSMO本体的规范
机译:Web应用程序模型开发中的需求规范概述
机译:需求工程的模型驱动开发:以目标为导向的方法
机译:自动验证化学过程的安全性和可操作性规范。
机译:WESSBAS:提取概率性工作负载规范以进行负载测试和性能预测-基于模型的基于会话的应用系统的方法
机译:验证模型驱动开发过程中使用的面向目标的规范
机译:在宙斯盾发展中使用模型驱动的方法和过程