Language and Tool Support for Class and State Machine Refinement in UML-B

Haja vista o grande crescimento demográfico, o consumo de água, de energia e de alimentos aumentará, entretanto, os recursos naturais, tanto relacionados à água quanto à floresta, são