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 (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
1050 BRUXELLES
Belgium
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.