Software Development and Approaches

• Software Development and Assurance Framework

• C++ in Safety Critical Systems

• Assessment of Use of Formal Methods

• Assessment of Object-Oriented Technology