Abstract: 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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Publication Year: 1994
Publication Date: 1994-12-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 7
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot