Thanks to both of you! These are useful resources. I have always illustrated my systems and interactions, but have seldom used formal methods. I would use the

Thanks to both of you! These are useful resources. I have always illustrated my systems and interactions, but have seldom used formal methods. I would use them, if they are required, but usually find that my subsets are more useful. I did use “Booch Blobs,” back in the day, followed by UML, but always ended up using a tiny subset of the spec.