For the FEZ Domino you must install the NETMF 4.1 SDK, too.
The information from andre.m is correct, the last firmeware for domino was 4.1
If you use the 4.1 Firmware und must set the Target Framework of your Project to 4.1.
If you use the 4.2 Firmware und must set the Target Framework of your Project to 4.2.
If you use the 4.3 Firmware und must set the Target Framework of your Project to 4.3.
For the FEZ Cerbuino Bee see FEZ Cerb Family documentation:
The loader on the Cerb Family is updated using ST Microelectronics’s STDFU Tester program. This program is installed by default with our SDK.
Under STMicroelectronics in the start menu, run the STDFU Tester program.
The board must be put in a special mode for the STDFU tool to recognize it. To do so, hold the LDR button on your board, power it, then release LDR.
If your board lacks an LDR button, short the two pads labeled either LDR or BOOT (depending on your board) together and then power your board.
If you have a FEZ Cerb40 II, hold the LODR pin high and then power the board.
Next, you will see “STM Device in DFU Mode” appear under Device in the STDFU tool. Click the Protocol tab.
Click the Create from Map button, select the Erase radio button, and then click Go. The program will take a few moments to erase the board.
Once you see that it has finished, click the Load DFU File button and select the C:\Program Files (x86)\GHI Electronics\GHI NETMF v4.3 SDK\Firmwares\Cerb Family\Loader.dfu file. Click the Download radio button and then click Go. The program will quickly load the new loader onto your board.
Hope this information helps.