Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling
2010 18th IEEE International Requirements Engineering Conference (2010)
Sept. 27, 2010 to Oct. 1, 2010
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RE.2010.24
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.
formal languages, software engineering, systems analysis
I. J. Jureta, A. Borgida, N. A. Ernst and J. Mylopoulos, "Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling," 2010 18th IEEE International Requirements Engineering Conference(RE), Sydney, New South Wales Australia, 2010, pp. 115-124.