2009/01/01 by John Mylopoulos, Mylopoulos, John
Computer Science · #Advanced Software Engineering Methodologies #Domain assumptions #Formal Methods in Verification #Model-Driven Software Engineering Techniques #hard goals #prioritiyed preferences #qualitz constraints
paper · doi:10.4230/dagsemproc.08412.16
openalex publication_date 2009/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Requirements consist of (a) domain assumptions, (b) hard goals, (c) quality constraints, (d) possibly prioritized preferences. The very core of Requirements Engineering consists of the following problem: given a set of (a)-(d), generate specifications that fulfill hard goals and quality constraints, assuming that domain assumptions hold, and satisfy maximal sets of preferences. We are working towards tools that solve this problem for expressive modeling languages in terms of which one can represent domain assumptions, goals, etc. Such tools can be used as basis for exploring requirements by varying preferences and priorities, or weakening/strengthening goals.