Michael Jackson The Problem Frames Approach to Software Engineering. 14 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.91 db/conf/apsec/apsec2007.html#Jackson07a