The words contained in this file might help you see if this file matches what you are looking for:
...Agoal oriented software testing methodology technical report cu duy nguyen anna perini and paolo tonella sradivision itc irst via sommarive trento italy cunduy it abstract goal requirements engineering methodologies have been investigated for more than a decade aiming at better supporting they help elicit users deal with stakeholders goals strategic dependencies among them moreover allow representing alternative solutions so that developers can negotiate choose the one meets their business demands some oer specication based formal verica tion allowing to correct errors beginning of development process however structured complements verication is still miss ing in this we introduce novel soft ware species model tropos strengthens mutual relationship between analysis furthermore provides systematic way deriving test cases from support proposed framework was integrated into an existing tool taome supports introduction requirement denition plays important role successful system since provi...