Extension to UML-B Notation and Toolset (2006)
Lewy, Timothy, Lovell, Chris, Amor, James
The UML-B notation has been created as an attempt to combine the success and ease of use of UML, with the verification and rigorous development capabilities of formal methods. However, the notation...
Extension to UML-B Notation and Toolset (2006)
Lewy, Timothy, Lovell, Chris, Amor, James
The UML-B notation has been created as an attempt to combine the success and ease of use of UML, with the verification and rigorous development capabilities of formal methods. However, the notation...
Extension to UML-B Notation and Toolset (2006)
Lewy, Timothy, Lovell, Chris, Amor, James
The UML-B notation has been created as an attempt to combine the success and ease of use of UML, with the verification and rigorous development capabilities of formal methods. However, the notation...
UNIVERSITY OF SOUTHAMPTON (2006)
James Amor, Tim Lewy, Chris Lovell, James Amor, Tim Lewy, Chris Lovell
The UML-B notation has been created as an attempt to combine the success and ease of use of UML, with the verification and rigorous development capabilities of formal methods. However, the notation...