The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL (Structured Object-oriented Formal Language), can help overcome these problems. We will also recommend additional management tools and documents that can aid organizations in achieving a higher CMM rating through the use of SOFL.