Safety analysis of software product lines using state-based modeling

Author:

Liu Jing,Dehlinger Josh,Lutz Robyn

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference33 articles.

1. Ardis, M.A., Weiss, D.M., 1997. Defining families: the commonality analysis. In: Proceedings of the 1997 (19th) International Conference on Software Engineering, pp. 649–650.

2. Component-Based Product Line Engineering with UML;Atkinson,2002

3. Bosch, J., 2000. Design and Use of Software Architectures. Addison-Wesley Professional.

4. Automatically detecting and visualizing errors in UML diagrams;Campbell;Requirements Engineering Journal,2002

5. Clauss, M., 2001. Modeling variability with UML. In: Proc. of Net.ObjectDays 2001, Young Researchers Workshop on Generative and Component-Based Software Eng., Erfurt, Germany, September 2001, pp. 226–230.

Cited by 51 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07

2. An Automotive Architecture Product Line for E/E Powertrain Architectures;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

3. VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023

4. Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines;Journal of Computer Languages;2022-06

5. Verification Strategies for Feature-Oriented Software Product Lines;Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems;2022-02-23

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3