BENETT, Simon, SKELTON, John et LUNN, Ken (2001), UML, McGraw-Hill.
JACKSON, Daniel (2002) Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11, No 2, pp. 256-290.
JACKSON, D. (2006), Dependable Software by Design, Scientific American, June.
JACKSON, Daniel, JACKSON, Michael (2006) Separating Concerns in Requirements Analysis: An Example. M. Butler, C. Jones, A. Romanovsky, E. Troubitsyna (editors). Chapter of Rigorous development of complex fault tolerant systems. Springer-Verlag.
JACKSON, Daniel (2011) Software Abstraction, MIT Press.
WARMER, Jos, KLEPPE, Anneke (2003) The Object Constraint Language (2nd Edition) Getting your Models Ready for MDA, Addison-Wesley.
* Consultez le site WEB du cours pour des références complémentaires. Les références précédées d’un point, « • » sont fortement suggérées.