Title :
Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling
Author :
Jureta, Ivan J. ; Borgida, Alex ; Ernst, Neil A. ; Mylopoulos, John
fDate :
Sept. 27 2010-Oct. 1 2010
Abstract :
Techne is an abstract requirements modeling language that lays formal foundations for new modeling languages applicable during early phases of the requirements engineering process. During these phases, the requirements problem for the system-to-be is being structured, its candidate solutions described and compared in terms of how desirable they are to stakeholders. We motivate the need for Techne, introduce it through examples, and sketch its formalization.
Keywords :
formal languages; software engineering; systems analysis; Techne; abstract requirements modeling language; formal foundations; inconsistency handling; requirements engineering process; requirements modeling languages; Analytical models; Approximation methods; Cognition; Ontologies; Syntactics; Visualization; Requirements models; goal-oriented requirements engineering; requirements modeling languages;
Conference_Titel :
Requirements Engineering Conference (RE), 2010 18th IEEE International
Conference_Location :
Sydney, NSW
Print_ISBN :
978-1-4244-8022-7
