Leaney John; Denford Mark; O'Neill Tim
(The Institute of Electrical and Electronic Engineers Inc (IEEE), 2004)
Architecture based refinement is an important
technique for ensuring efficiency, effectiveness and
correctness in the practical design of complex computer
based systems. With a few exceptions, current methods of
architectural ...