Un ejemplo sencillo del diseño de una clase usando BDD de especificaciones