Automatic generation of software contracts and specifications with generative artificial intelligence: A study of efficiency in synthetic data generation for software development.