( en | de | ru )

 

Disambiguation of "Jackson, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Software analysis: a roadmap: a roadmap.

, and . ICSE - Future of SE Track, page 133-145. ACM, (2000)

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

David Jackson

Jackson Francomme

 

Other publications of authors with the same name

Structuring Z Specifications with Views. ACM Trans. Softw. Eng. Methodol., 4 (4): 365-389 (1995)TouchBridge: augmenting active tangibles for camera-based multi-touch surfaces., , , , , and . ITS, page 271-272. ACM, (2010)Faster Checking of Software Specifications by Eliminating Isomorphs., , and . POPL, page 79-90. ACM Press, (1996)Alloy: A Logical Modelling Language.. ZB, volume 2651 of Lecture Notes in Computer Science, page 1. Springer, (2003)Lightweight Analysis of Object Interactions., and . TACS, volume 2215 of Lecture Notes in Computer Science, page 492-513. Springer, (2001)Correct or usable? the limits of traditional verification (impact paper award)., and . SIGSOFT FSE, page 11. ACM, (2016)Separation of concerns for dependable software design., and . FoSER, page 173-176. ACM, (2010)Cueing for drooling in Parkinson's disease., , , , , , , , , and 1 other author(s). CHI, page 619-622. ACM, (2011)Problem frame transformations: deriving specifications from requirements., and . IWAAPF@ICSE, page 71-80. ACM, (2006)The French Digital Kitchen: Implementing Task-Based Language Teaching Beyond the Classroom., , , , , , , and . Int. J. Comput. Assist. Lang. Learn. Teach., 3 (1): 50-72 (2013)