ABSTRACT
We begin by outlining characteristics of modern soware and general processes used in its development. We describe software engineering principles and their application. Our intent is to motivate explicit modeling and deliberate design with an understanding of required qualities and restrictions. Modern soware is inherently complex and demands a formal approach to system construction and maintenance.
