首页> 外文OA文献 >Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines

【2h】

Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines

机译：在单个系统和软件产品线中形式化和验证设计决策

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
HENG BOON KUI;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Design variability verification in Software Product Lines [J] . GANESH KHANDU NARWANE, JEAN-VIVIEN MILLO, SHANKARA NARAYANAN KRISHNA, Sadhana . 2019,第1期

机译：软件产品线中的设计可变性验证
2. Design variability verification in Software Product Lines [J] . Narwane Ganesh Khandu, Millo Jean-Vivien, Krishna Shankara Narayanan, Sadhana: Academy Proceedings in Engineering Science . 2019,第1期

机译：软件产品线中的设计可变性验证
3. Decision support for moving from a single product to a product portfolio in evolving software systems [J] . Muhammad IrfanUllah, Guenther Ruhe, Vahid Garousi The Journal of Systems and Software . 2010,第12期

机译：在不断发展的软件系统中从单一产品过渡到产品组合的决策支持
4. Composition of Verification Assets for Software Product Lines of Cyber Physical Systems [C] . Ethan T. McGee, Roselane S. Silva, John D. McGregor International Conference on Software Reuse . 2017

机译：网络物理系统软件产品线的验证资产组成
5. A Decision Support System for Selecting Between Designs for Dynamic Software Product Lines [D] . McGee, Ethan Travis. 2018

机译：动态软件产品线设计选择之间的决策支持系统
6. Verified trustworthy software systems [O] . Philippa Gardner -1

机译：经过验证的可信赖软件系统
7. Design variability verification in Software Product Lines [O] . Ganesh Khandu Narwane, Jean-Vivien Millo, Shankara Narayanan Krishna, 2019

机译：软件产品线中的设计可变性验证

Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines

著录项

引文网络

相似文献

相关主题

期刊订阅