Create specification.cpp