Specification process reengineering: concepts and experiences from Danish industry