Executable specifications are a form of documentation that are written in a way that they can be run as tests, ensuring that the software behaves as expected as it evolves. They bridge the gap between requirements and implementation, providing a living document that is always up-to-date with the current state of the system.