D. Jackson

Elements of style: analyzing a software design feature with a counterexample detector

Daniel Jackson, Craig Damon, D. Jackson, 1996, ISSTA '96.

Towards a heory of Conceptual Design for Sotware

D. Jackson, 2022 .

6.170 Laboratory in Software Engineering, Fall 2001

Srinivas Devadas, Daniel Jackson, S. Devadas, 2001 .

Synthesizing Iterators from Abstraction Functions Citation

Derek Rayside, D. Jackson, Vajih Montaghami, 2012 .

Micromodels of software: lightweight modelling and analysis with Alloy

Daniel Jackson, D. Jackson, 2002 .

Automatic Visualization of Relational Logic Models

Felix Sheng-Ho Chang, Derek Rayside, Daniel Jackson, 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..