Software Engineering With Computers

Presents a perspective on software systems engineering, with a focus on fundamental techniques for developing complex software systems where reliability and dependability are essential system attributes.