( en | de | ru )

 

Disambiguation of "Jackson, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
An Invitation to Formal Methods.

, , , , , , , , , , , , , , and . Computer, 29 (4): 16-30 (1996)

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. You can also use the button next to the name to display some publications already assigned to the person.

Daniel John Jackson

Helen Jackson

Margret Jackson

Peter Jackson

Michelle Jackson

 

Other publications of authors with the same name

Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint)., and . IEEE Software, 13 (2): 20 (1996)αRby - An Embedding of Alloy in Ruby., , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 56-71. Springer, (2014)A Structure for Dependability Arguments., and . ASM, volume 5977 of Lecture Notes in Computer Science, page 1. Springer, (2010)Aspect: Detecting Bugs with Abstract Dependences.. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)Panopticon: a parallel video overview system., , , , , and . UIST, page 123-130. ACM, (2013)Critical Feature Analysis of a Radiotherapy Machine., , , , and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 221-234. Springer, (2003)Module Dependences in Software Design.. RISSEF, volume 2941 of Lecture Notes in Computer Science, page 198-203. Springer, (2002)Idioms of Logical Modelling.. ICGT, volume 4178 of Lecture Notes in Computer Science, page 14. Springer, (2006)Software analysis: a roadmap, and . ICSE '00: Proceedings of the Conference on The Future of Software Engineering - Future of SE Track, page 133-145. (2000)Conveying spatial awareness cues in xR collaborations., , , and . IEEE Trans. Vis. Comput. Graph., 25 (11): 3178-3189 (2019)