( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Alchemy: transmuting base alloy specifications into implementations.

, , , и . SIGSOFT FSE, стр. 158-169. ACM, (2008)

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.

Andreas Fisler

Ushanthine Kathiravel

Kathi Westphal

Kathi Gassner

Kathi Leibold

 

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

CounterMeasures: A game for teaching computer security., , , , и . NETGAMES, стр. 1-6. IEEE, (2011)A model of triangulating environments for policy authoring., и . SACMAT, стр. 3-12. ACM, (2010)Modelling and Model Checking a Distributed Shared Memory Consistency Protocol., и . ICATPN, том 1420 из Lecture Notes in Computer Science, стр. 84-103. Springer, (1998)Towards an aspect language for bus protocols., , и . DSAL@AOSD, стр. 3-8. ACM, (2012)Verification and change-impact analysis of access-control policies., , , и . ICSE, стр. 196-205. ACM, (2005)WeScheme: the browser is your programming environment., , , и . ITiCSE, стр. 163-167. ACM, (2011)CaptainTeach: multi-stage, in-flow peer review for programming assignments., , , и . ITiCSE, стр. 267-272. ACM, (2014)Mind your language: on novices' interactions with error messages., , и . Onward!, стр. 3-18. ACM, (2011)Observations on the Design of Program Planning Notations for Students., , и . SIGCSE (1), стр. 1133-1139. ACM, (2024)Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics., , , , , , , , , и . SIGCSE, стр. 59-65. ACM, (2021)