Correctness-by-Construction $$\wedge $$ Taxonomies $$\Rightarrow $$ Deep Comprehension of Algorithm Families-Reference-Cited by-同舟云学术

Correctness-by-Construction $$\wedge $$ Taxonomies $$\Rightarrow $$ Deep Comprehension of Algorithm Families

Published:2016 Issue: Volume: Page:766-783
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
language:
Short-container-title:

Author:

Cleophas Loek,Kourie Derrick G.,Pieterse Vreda,Schaefer Ina,Watson Bruce W.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47166-2_54

Reference44 articles.

1. Dijkstra, E.W.: A constructive approach to the problem of program correctness. BIT Numer. Math. 8(3), 174–186 (1968)

2. Hoare, C.: Proof of a program: FIND. Commun. ACM 14(1), 39–45 (1971)

3. Wirth, N.: Program development by stepwise refinement. Commun. ACM 14(4), 221–227 (1971)

4. Cleophas, L., Watson, B.W., Kourie, D.G., Boake, A., Obiedkov, S.: TABASCO: using concept-based taxonomies in domain engineering. S. Afr. Comput. J. 37, 30–40 (2006)

5. Krueger, C.: Eliminating the adoption barrier. IEEE Softw. 19(4), 29–31 (2002)

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

1. Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink;Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A;2020-10-19

2. Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016

3. Correctness-by-Construction and Post-hoc Verification: Friends or Foes?;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016