The requirements which we use as examples are some of the initial requirements which were derived for the case study that we describe in Chapter 10. These are requirement for the EDDIS library system which is an interactive system providing access to a large document database and which allows the end-users. The style of these requirements is fairly typical of the general way in which initial system requirements are written.