( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Aspect: Detecting Bugs with Abstract Dependences.

. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)

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.

Daniel John Jackson

Helen Jackson

Margret Jackson

David Jackson

Jackson Francomme

 

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

Software analysis: a roadmap, и . ICSE '00: Proceedings of the Conference on The Future of Software Engineering - Future of SE Track, стр. 133-145. (2000)Aspect: Detecting Bugs with Abstract Dependences.. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)Panopticon: a parallel video overview system., , , , , и . UIST, стр. 123-130. ACM, (2013)αRby - An Embedding of Alloy in Ruby., , и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 56-71. Springer, (2014)A Structure for Dependability Arguments., и . ASM, том 5977 из Lecture Notes in Computer Science, стр. 1. Springer, (2010)Critical Feature Analysis of a Radiotherapy Machine., , , , и . SAFECOMP, том 2788 из Lecture Notes in Computer Science, стр. 221-234. Springer, (2003)Module Dependences in Software Design.. RISSEF, том 2941 из Lecture Notes in Computer Science, стр. 198-203. Springer, (2002)Idioms of Logical Modelling.. ICGT, том 4178 из Lecture Notes in Computer Science, стр. 14. Springer, (2006)Object spreadsheets: a new computational model for end-user development of data-centric web applications., , и . Onward!, стр. 112-127. ACM, (2016)Occupancy monitoring using environmental & context sensors and a hierarchical analysis framework., , , , , , , , , и . BuildSys@SenSys, стр. 90-99. ACM, (2014)