Die Entwicklerschlüssel liegen in der Tabelle DEVACCESS. Im Zweifelsfall würde ich den Eintrag einfach löschen. Wenn der User den Schlüssel allerdings kennt kann er ihn jederzeit wieder einfügen.
Wirksamer wäre, ihm die Berechtigungen für die Entwicklungstransaktionen zu entziehen.
Was Haubi geschrieben hat stimmt vollkommen. Außerdem kann man sich einen Entwicklerschlüssel jederzeit neu beschaffen. Am effektivsten ist daher mit Berechtigungen zu arbeiten.