Author:
Bubel Richard,Hähnle Reiner,Pelevina Maria
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Meyer, B.: Applying “design by contract”. IEEE Computer 25(10), 40–51 (1992)
2. Lecture Notes in Artificial Intelligence,2007
3. Lecture Notes in Computer Science;R. Hähnle,2013
4. Thüm, T., Schaefer, I., Apel, S., Hentschel, M.: Family-based deductive verification of software product lines. In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE 2012, pp. 11–20. ACM, New York (2012)
5. Leavens, G.T., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., Müller, P., Kiniry, J., Chalin, P., Zimmerman, D.M.: JML Reference Manual. Draft revision 1.235 (September 2009)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines;Journal of Computer Languages;2022-06
2. 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
3. Delta-based verification of software product families;Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2021-10-17
4. An Abstract Contract Theory for Programs with Procedures;Fundamental Approaches to Software Engineering;2021
5. Using Abstract Contracts for Verifying Evolving Features and Their Interactions;Lecture Notes in Computer Science;2020