This paper advocates the use of process definition methods to drive the “industrialization” of new techniques – that is, the transformation of a technique, or combination of techniques, developed by a research organization into a production process that can be used by an industrial organization. We relate our own experience at Hughes Canada Systems Division (HCSD) based on an effort to industrialize an application of “Formal Methods” to support the development of large automated air traffic control systems.
Members-Only Content
This content is restricted to members only.
You must be logged in with an active membership to access this page.
Please click the link below to log in. If you do not have an account or your membership is inactive, you may need to register or renew it.