Articoli correlati a Software Engineering for Electronic Systems Designers

Software Engineering for Electronic Systems Designers - Rilegato

Jenkins, D. G.

 
9780863412264: Software Engineering for Electronic Systems Designers

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by D G Jenkins

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.