Practical visual techniques in system design: with applications to Ada