Abstract
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.