En este artículo, presentamos un enfoque novedoso llamado Scenethesis, que se centra en la generación automática de software GUI basado en entornos espaciales 3D, a diferencia de los estudios existentes de generación de software GUI basados en 2D. Scenethesis mantiene la trazabilidad formal entre los requisitos del usuario y el software 3D generado, y transforma los requisitos de lenguaje natural en software 3D ejecutable mediante un lenguaje específico de dominio, ScenethesisLang. ScenethesisLang funciona como un lenguaje integral de descripción de escenas que permite la modificación detallada de elementos de software 3D y como un lenguaje formal de especificación de representación de restricciones que puede expresar restricciones espaciales complejas. Scenethesis descompone la síntesis de software 3D en varios pasos basados en ScenethesisLang, lo que permite la verificación independiente, la modificación orientada a objetivos y la satisfacción sistemática de restricciones. Los resultados experimentales muestran que Scenethesis captura con precisión más del 80% de los requisitos del usuario, satisface más del 90% de las restricciones estrictas y procesa simultáneamente más de 100 restricciones. Además, mejora las puntuaciones de la evaluación visual BLIP-2 en un 42,8% en comparación con los métodos de última generación.