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...
The Question of Scale in Integrated Natural Resource Management (2002)
Lovell, Chris; Centre For Ecology And Hydrology; C&c.lovell@xtra.co.nz
Lessons from integrated natural resource management (INRM) practiced at different scales are reviewed, with a focus on catchment management. INRM is complex, and many interactions have to be...
The Question of Scale in Integrated Natural Resource Management (2002)
Lovell, Chris; Centre For Ecology And Hydrology; C&c.lovell@xtra.co.nz
Lessons from integrated natural resource management (INRM) practiced at different scales are reviewed, with a focus on catchment management. INRM is complex, and many interactions have to be...
The Question of Scale in Integrated Natural Resource Management (2002)
Lovell, Chris, Mandondo, Alois, Moriarty, Patrick
"Lessons from integrated natural resource management (INRM) practiced at different scales are reviewed, with a focus on catchment management. INRM is complex, and many interactions have to be...