( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A systematic approach to teaching abstraction and mathematical modeling.

, , , , , , и . ITiCSE, стр. 357-362. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Aarthi Murali

Murali Sukumaran

Kota Murali

Murali Krishna Bollepalli

NULL Murali Dama

 

Другие публикации лиц с тем же именем

How Can We Engage in Inclusive, Culturally Responsive Computer Science?, , и . SIGCSE, стр. 1251. ACM, (2019)A Case Study in Verification of Embedded Network Software., , , , , и . NASA Formal Methods, том 7226 из Lecture Notes in Computer Science, стр. 433-448. Springer, (2012)Model variables: cleanly supporting abstraction in design by contract., , , и . Softw. Pract. Exp., 35 (6): 583-599 (2005)Engaging students in specification and reasoning: "hands-on" experimentation and evaluation., , , , , , , и . ITiCSE, стр. 50-54. ACM, (2009)Evaluation of Formal Reasoning Abilities Using a Concept Inventory., и . FMSEE&T@FM, том 1385 из CEUR Workshop Proceedings, стр. 59-66. CEUR-WS.org, (2015)Special session: "hands-on" tutorial: teaching software correctness with RESOLVE., и . SIGCSE, стр. 625-626. ACM, (2014)An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering., , , и . SIGCSE, стр. 211-216. ACM, (2014)Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only)., , , и . SIGCSE, стр. 757. ACM, (2013)Engaging mathematical reasoning exercises., , , , и . SIGCSE, стр. 459-460. ACM, (2013)A class of programming language mechanisms to facilitate multiple implementations of the same specification.. ICCL, стр. 272-281. IEEE Computer Society, (1992)