Denford Mark; Solomon Andrew; Leaney John; O'Neill Tim
(Institut fuer Informationssysteme und Computer Medien, 2004)
The design of large, complex computer based systems, based on their architecture, will benefit from a formal system that is intuitive, scalable and accessible to practitioners. The work herein is based in graphs which are ...