“…For example, Hall et al have proposed Problem-Oriented Software Engineering (POSE) as a theoretic framework for software development [3,4]. Other researchers have made many theoretical extensions to PF and applied them to requirements analysis and reasoning for safety-critical systems [5,6], and identifying reliability concerns [7]. However, how to embed the PF framework in a software development practice remains an open problem.…”