Computer-aided programming using formally specificed design templates

This paper describes a formal component language, used to support automated component-based program development. The components, referred to as templates, are machine processable, meaning that appropriate tool support, such as retrieval support, can be developed. The templates are highly adaptable, meaning that they can be applied to a wide range of problems. Some of the main features of the language are described, including: higher-order parameters; state variable declarations; specification statements and conditionals; applicability conditions and theories; meta-level place holders; and abstract data structures.

Measurement of the aerodynamic performance of a scramjet-powered vehicle in a shock tunnel

A force balance system for measuring lift, thrust and pitching moment has been used to measure the performance of fueled scramjet-powered vehicle in the T4 Shock Tunnel at The University of Queensland. Detailed measurements have been made of the effects of different fuel flow rates corresponding to equivalence ratios between 0.0 and 1.5. For proposed scramjet-powered vehicles, the fore-body of the vehicle acts as part of the inlet to the engine and the aft-body acts as the thrust surface for the engine. This type of engine-integrated design leads to a strong coupling between the performance of the engine and the lift and trim characteristics of the vehicle. The measurements show that the lift force increased by approximately 50% and centre-of-pressure changed by approximately 10% of the chord of the vehicle when the equivalence ratio varied from 0.0 to 1.0. The results demonstrate the importance of engine performance to the overall aerodynamic characteristics of engine-integrated scramjet vehicles and that such characteristics can be measured in a shock tunnel.

Teaching software engineering fundamentals to practicing engineers

This paper describes an ongoing collaboration between Boeing Australia Limited and the University of Queensland to develop and deliver an introductory course on software engineering for Boeing Australia. The aim of the course is to provide a common understanding for all Boeing Australia's engineering staff of the nature of software engineering and the practices used throughout Boeing Australia. It is meant as an introductory course that can be presented to people with varying backgrounds, such as recent software engineering graduates, systems engineers, quality assurance personnel, etc. The paper describes the structure and content of the course, and the evaluation techniques used to collect feedback from the participants and the corresponding results. The course has been well-received by the participants, but the feedback from the course has indicated a need for more advanced courses in specific areas.