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

D. G. Jenkins

Hardcover

ISBN 10: 0863412262 ISBN 13: 9780863412264

Publisher: The Institution of Engineering and Technology, 1990

Synopsis

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 available:

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 including:

-Power & Energy
-Renewable Energy
-Radar, Sonar & Navigation
-Electromagnetics
-Electrical Measurement
-History of Technology
-Technology Management

Edition details

• Publisher: The Institution of Engineering and Technology
• Publication date: 1990
• Language: English
• ISBN 10: 0863412262
• ISBN 13: 9780863412264
• Binding: Hardcover
• Number of pages: 318
• Editor: R. C. Welland