( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Are formal methods useful for software development?

, , , , , и . COMPSAC, стр. 2-9. IEEE, (1992)

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.

Mark A Nusselein

Mark A Awabdy

Mark A Nusselein

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)
 

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

SEI Report: The Design of an MSE Curriculum.. CSEE, том 327 из Lecture Notes in Computer Science, стр. 55. Springer, (1988)SEI Report on Graduate Software Engineering Education., и . CSEE, том 376 из Lecture Notes in Computer Science, стр. 208-249. Springer, (1989)The Development of a Graduate Curriculum for Software Assurance., и . AMCIS, Association for Information Systems, (2011)Defining Families - Commonality Analysis., и . ICSE, стр. 671-672. ACM, (1999)Domain engineered configuration control., , , , , , и . SPLC, стр. 479-494. Kluwer, (2000)Infusing software assurance and secure coding into introductory CS courses (abstract only)., , , и . SIGCSE, стр. 676. ACM, (2012)Revision of the SE 2004 curriculum model., , , , , и . SIGCSE, стр. 383-384. ACM, (2013)Defining Families: The Commonality Analysis (Tutorial)., и . ICSE, стр. 649-650. ACM, (1997)Using GSwE2009 for the Evaluation of a Master Degree in Software Engineering in the Universidad de la República., , и . ICSE (2), стр. 323-332. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Are formal methods useful for software development?, , , , , и . COMPSAC, стр. 2-9. IEEE, (1992)