Could someone please tell me, in the context of software engineering
methods, how formal methods (like B and Z) relate to object oriented
analysis and design methods (like OMT and UML).
Are they used for the same things?
Can you mix them in a software project with good results?
I'm a bit confused, maybe someone's got a good reference
that will clear things up?