Addresses process-based software engineering, and sets forth a fundamental theory and framework of software engineering processes. This book systematically enables comparison between models, avoidance of ambiguity in application, and simplification of manipulation for practitioners.