( en | de | ru )

 

Disambiguierung von "Sitaraman, Murali"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A systematic approach to teaching abstraction and mathematical modeling.

, , , , , , und . ITiCSE, Seite 357-362. ACM, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Aarthi Murali

Murali Sukumaran

Kota Murali

Murali Krishna Bollepalli

NULL Murali Dama

 

Weitere Publikationen von Autoren mit dem selben Namen

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