Engineers can also use civil engineering design software in road building to visualize highways, predict traffic flow, produce traffic and street-lighting schematics, and determine lane requirements.

Focuses on the use of formal models throughout the software development life cycle. Topics include formal specification of requirements, behavioral modeling, automated analysis, architectural styles ...