Doubling the engineer's utility

The big challenge for military forces and their industrial supporters since the end of the cold war is how to convert technologies once viewed as exclusively military to serve civilian ends as well. The authors discuss a case of dual use in which a rigorous military method for designing complex computer systems appears suited to complicated civilian projects. The method is supported by a new language, CaRT-Spec, which is application independent and therefore suitable for both military and civilian applications.<
>