Logical framework approach : (LFA, 1995)