| The field of requirements engineering currently lacks a sound scientific foundation: the current state of art is in fact a set of best practices. Although the state of art has been enhanced and extended substantially in the past twenty years, it still rests on the rather weak so-called waiter strategy. The proposed research has a short-term and a long-term goal. The short-term goal is to investigate how formal functional specifications of an information system can be derived from the modeling of business processes according to the DEMO methodology. The long-term goal is to set up a CARE research network, and to launch a wide-scale and long-lasting CARE research programme. |