UML-B: Formal modeling and design aided by UML

By Colin Frank Snook, Michael J. Butler. TSEM, 2006

358 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/c1d0e196e11162263439c2c081b9eae21721f76f

Citations in the corpus

• Formal methods: Practice and experience (2009, neutral): “For example, the UML to B link [Snook and Butler 2006] allows use of a familiar modelling notation to be coupled to a formal analytic framework, and support for the verification of implementations of systems specified using control law diagrams has been addressed using Z, CSP, and Circus [Cavalcanti”