( en | de | ru )

 

Disambiguation of "Jackson, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Agile specifications.

, , , , and . OOPSLA Companion, page 999-1006. ACM, (2009)

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

Cross-Cultural Multimedia Language Learning: Case Study and AnalysisUllrich10Cross-Cultural, , , , and . Advances in Web-Based Learning ICWL 2010, volume 6483 of Lecture Notes in Computer Science, page 404--409. Berlin, Heidelberg, Springer Berlin / Heidelberg, (2010)Software Abstractions - Logic, Language, and Analysis.. MIT Press, (2006)CueS: cueing for upper limb rehabilitation in stroke., , , , , , , , , and . BCS HCI, page 18-25. ACM, (2015)Mobile Device and Intelligent Display Interaction via Scale-invariant Image Feature Matching., , , and . PECCS, page 207-214. SciTePress, (2011)Critical feature analysis of a radiotherapy machine., , , , and . Reliab. Eng. Syst. Saf., 89 (1): 48-56 (2005)Problem decomposition for reuse., and . Softw. Eng. J., 11 (1): 19-30 (1996)Alloy*: a general-purpose higher-order relational constraint solver., , , and . Formal Methods Syst. Des., 55 (1): 1-32 (2019)Structuring Z Specifications with Views. ACM Trans. Softw. Eng. Methodol., 4 (4): 365-389 (1995)Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications., , and . ACM Trans. Program. Lang. Syst., 20 (2): 302-343 (1998)TouchBridge: augmenting active tangibles for camera-based multi-touch surfaces., , , , , and . ITS, page 271-272. ACM, (2010)