Software Engineering for Electronic Systems Designers (Iee Computing Series, 18) - Hardcover

Inhaltsangabe

Why software engineering? Review of software development methods. Some notations for structured design. The real-time operating system. Integrated project support environments and software engineering toolsets. Occam. Modula-2. High level language features which support software engineering methods. Introduction to Pascal. Real-time language features to support good design methods. Introduction to real-time algorithms. Data structures. ADA - ten years of development. MASCOT 3 - an informal introductory tutorial. Real-time design tools and kernels. Software project control. Introduction to formal methods. VDM. Validation techniques I. Validation techniques II. Software execution testing. Quality assurance. Performance analysis in software design. Formal methods applied to hardware design.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.