Problem Oriented Software Engineering: A design-theoretic framework for software engineering.

Jon G. Hall, Lucia Rapanotti, Michael Jackson

Browse the full SEFM paper archive.