adding new table QuickSpec and separating Specification into Spec and
Details