Teaching Programming and Design-by-Contract-Reference-Cited by-同舟云学术

Teaching Programming and Design-by-Contract

Published:2019-03-16 Issue: Volume: Page:68-76
ISSN:2194-5357
Container-title:The Challenges of the Digital Transformation in Education
language:
Short-container-title:

Author:

de Carvalho Daniel,Hussain Rasheed,Khan Adil,Khazeev Mansur,Lee JooYong,Masiagin Sergey,Mazzara Manuel,Mustafin Ruslan,Naumchev Alexandr,Rivera Victor

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-11932-4_7

Reference17 articles.

1. Arnold, K., Gosling, J., Holmes, D.: The Java Programming Language, 3rd edn. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (2000)

2. Bratko, I.: Prolog Programming for Artificial Intelligence. Addison-Wesley Longman Publishing Co. Inc, Boston, MA, USA (1986)

3. Chapman, R.: Correctness by construction: A manifesto for high integrity software. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software - Volume 55. pp. 43–46. SCS 2005, Australian Computer Society, Inc., Darlinghurst, Australia, Australia (2006). http://dl.acm.org/citation.cfm?id=1151816.1151820

4. Hejlsberg, A., Torgersen, M., Wiltamuth, S., Golde, P.: C# Programming Language. Addison-Wesley Professional, 4th edn. (2010)

5. Jensen, K., Wirth, N.: PASCAL User Manual and Report. Springer, New York, NY, USA (1974)

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

1. An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

2. Automation of C Program Deductive Verification without Using Loop Invariants;Programming and Computer Software;2022-09-13

3. Reflections on Teaching Formal Methods for Software Development in Higher Education;Frontiers in Software Engineering Education;2020

4. Towards Code Review Guideline in a Classroom;Frontiers in Software Engineering Education;2020

5. Towards a Broader Acceptance of Formal Verification Tools;Advances in Intelligent Systems and Computing;2020