Variational correctness-by-construction-Reference-Cited by-同舟云学术

Variational correctness-by-construction

Published:2020-02-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems
language:
Short-container-title:

Author:

Bordis Tabea¹,Runge Tobias¹,Knüppel Alexander¹,Thüm Thomas²,Schaefer Ina¹

Affiliation:

1. TU Braunschweig, Braunschweig, Germany

2. University of Ulm, Ulm, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3377024.3377038

Reference29 articles.

1. Jean-Raymond Abrial. 2005. The B-Book: Assigning Programs to Meanings. Cambridge University Press. Jean-Raymond Abrial. 2005. The B-Book: Assigning Programs to Meanings. Cambridge University Press.

2. Jean-Raymond Abrial. 2010. Modeling in Event-B: System and Software Engineering (1st ed.). Jean-Raymond Abrial. 2010. Modeling in Event-B: System and Software Engineering (1st ed.).

3. Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner Hähnle Peter H. Schmitt and Mattias Ulbrich. 2016. Deductive Software Verification - The KeY Book. Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner Hähnle Peter H. Schmitt and Mattias Ulbrich. 2016. Deductive Software Verification - The KeY Book.

4. Michalis Anastasopoules and Critina Gacek. 2001. Implementing Product Line Variabilities. 26 3 (2001) 109--117. Michalis Anastasopoules and Critina Gacek. 2001. Implementing Product Line Variabilities. 26 3 (2001) 109--117.

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

1. From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design;Computer;2024-07

2. Binary Oriented Feature Selection for Valid Product Derivation in Software Product Line;Computers, Materials & Continua;2023

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. Runtime Verification of Correct-by-Construction Driving Maneuvers;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022