Due to increased concern about the distributed web application, the interest in EJB - server-side Java component architecture that enables to make out Business Logic without writing codes related to complicated distributed framework - is also increasing. Despite of these increased interest, However, efforts for reliability of these systems have been insufficient. Thus, in this paper, we propose specification technique for applying DbC approach, which can elevate the reliability of software in the Object-Oriented system development, in writing formal specification of EJB-based application. Through this specification technique, developers can gain reliability in the EJB-based application development.