Art of Software Modeling - Lieberman, Benjamin A.

Covers model theory, practice, and presentation. This book describes the need for model creation and demonstrates how to create system models. Presenting model examples of business workflows, requirements capture, and software architecture documentation, it discusses research and information capture, model forms, and verification.