Computer-generated code from a specification as a part of a software development process