Objective Requirements Engineering (RE) is the activity of investigating the customer's needs in the context of a software development project. The specification of requirements, which describes functional and non-functional properties of the system and of its environment, can be distinguished from the specification of the design, which describes the system alone for the benefit of software engineers. The ICARUS project is concerned with the study of formal methods for building requirements specifications. A wide spectrum requirement engineering (RE) language has been defined and coupled with a process description mechanism. The requirements engineering language is a formal specification language making it possible to express requirements in a natural operational and/or declarative style, to structure large requirements documents and to apply consistency and completeness checks on possibly incomplete specifications. The process description technique is based on a concept of workplan describing the planning and the organization of the tasks already done and/or to be achieved. A prototype environment has been developed actively to support their use. This environment is based on a process driven RE assistant integrating active analyst guidance, consistency and completeness checking, and specification visualization. A qualitative assessment of the formal concepts and tools developed has been achieved by performing case studies on selected families of real world applications.Three levels of analysis have been identified in the study of such methods: the specification product (the description of the desired system in its environment); the specification process (the set of activities by which the specification is produced); and the specification rationale (the set of reasons that have led to the choice of a particular process). Fields of science natural sciencescomputer and information sciencessoftwaresoftware development Programme(s) FP2-ESPRIT 2 - European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992 Topic(s) Data not available Call for proposal Data not available Funding Scheme Data not available Coordinator SEMA GROUP BELGIUM SA Address Place du champ de mars, 540 1050 Bruxelles Belgium See on map EU contribution € 0,00 Participants (9) Sort alphabetically Sort by EU Contribution Expand all Collapse all ALCATEL SESA Spain EU contribution € 0,00 Address Ramirez de prado, 5 28045 Madrid See on map Alcatel Alsthom Recherche France EU contribution € 0,00 Address Route de nozay 91460 Marcoussis See on map DECISION SYSTEMS Ireland EU contribution € 0,00 Address Earlsfort terrace Dublin 2 See on map FACULTES UNIVERSITAIRES NOTRE-DAME DE LA PAIX Belgium EU contribution € 0,00 Address Rue de bruxelles, 61 5000 Namur See on map Institut National de Recherche en Informatique et en Automatique - INRIA France EU contribution € 0,00 Address Domaine de voluceau-rocquencourt 78153 Le chesnay See on map Links Website Opens in new window PHILIPS SA Belgium EU contribution € 0,00 Address Av. albert einstein, 4 1348 Louvain-la-neuve See on map REALACE LTD Ireland EU contribution € 0,00 Address Mount st. cresent Dublin 2 See on map Sema Group SA France EU contribution € 0,00 Address 16-20 rue barbes 92126 Montrouge See on map UNIVERSITAT POLITECNICA DE CATALUNYA Spain EU contribution € 0,00 Address C/pau gargallo, apartado 30002, 5 08028 Barcelona See on map
