Addressing usability in a formal development environment