From Computational Thinking to Constructive Design with Simple Models-Reference-Cited by-同舟云学术

From Computational Thinking to Constructive Design with Simple Models

Published:2018 Issue: Volume: Page:261-278
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Modeling
language:
Short-container-title:

Author:

Margaria Tiziana

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03418-4_16

Reference58 articles.

1. Chain reaction game website. https://brilliant.org/wiki/chain-reaction-game/

2. Chain reaction resources on the jabc website. https://hope.scce.info/chainreaction/

3. Bakera, M., Jörges, S., Margaria, T.: Test your strategy: graphical construction of strategies for connect-four. In: Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp. 172–181. ICECCS 2009. IEEE Computer Society, Washington, DC (2009). https://doi.org/10.1109/ICECCS.2009.51

4. Bakera, M., Margaria, T., Renner, C., Steffen, B.: Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5, 211–228 (2009). https://doi.org/10.1007/s11334-009-0091-6

5. Bordihn, H., Lamprecht, A., Margaria, T.: Foundations of semantics and model checking in a software engineering course. In: Bollin, A., Margaria, T., Perseil, I. (eds.) Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, 23 June 2015. CEUR Workshop Proceedings, vol. 1385, pp. 19–26. CEUR-WS.org (2015). http://ceur-ws.org/Vol-1385/paper4.pdf

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

1. IDPP: Imbalanced Datasets Pipelines in Pyrus;Engineering of Computer-Based Systems;2023-11-29

2. Modeling At School – On the Benefits and Skill Development of the Use of Modeling Diagrams at School;2022 IEEE Global Engineering Education Conference (EDUCON);2022-03-28

3. Towards language-to-language transformation;International Journal on Software Tools for Technology Transfer;2021-06-18

4. A Systematic Review of Computational Thinking Approach for Programming Education in Higher Education Institutions;Proceedings of the 19th Koli Calling International Conference on Computing Education Research;2019-11-21

5. On the Difficulty of Drawing the Line;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018