Software Engineering for Electronic Systems Designers

by D.G. Jenkins

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. Also Software Reuse with ADA - ISBN 0863411738
Advances in Command, Control and Communication Systems - ISBN 0863410944 The Institution of Engineering and Technology is one of the world's leading professional societies for the engineering and technology community. The IET publishes more than 100 new titles every year; a rich mix of books, journals and magazines with a back catalogue of more than 350 books in 18 different subject areas -Power & Energy
-Renewable Energy
-Radar, Sonar & Navigation
-Electromagnetics
-Electrical Measurement
-History of Technology
-Technology Management

318 pages, Hardcover

First published June 1, 1990