±ساغر جعفری(۱۹۱۳ء۲۰۰۲ء) کا اصل نام محمد حسین جعفری ہے۔ آپ سیالکوٹ میں پیدا ہوئے۔ ساغر جعفری ایک پختہ گو شاعر تھے۔ ان کا کلام’’ادبِ لطیف‘‘،’’ساقی‘‘،’’رومان‘‘ اور دیگر ملکی سطح کے رسائل و جرائد میں چھپتا رہا۔ساغر جعفری رومانوی تحریک سے وابستہ رہے۔ (۶۵۹) انھوں نے غزل ،نظم،گیت ،قطعہ ،نعت ،منقتبت،مرثیہ ،سلام،ماہیہ ،اور ہائیکو میں طبع آزمائی کی۔ آپ اقبال کی قومی و ملی شاعری سے بہت متاثر تھے۔ قومیت و وطنیت کے حوالے سے اقبال کا رنگ ساغر جعفری کی شاعری میں واضح طورپر نظر آتا ہے۔
’’بہارو نگار‘‘ ساغر جعفری کا پہلا مجموعہ کلام ہے۔ جس کا پہلا ایڈیشن ۱۹۹۵ء میں شائع ہوا۔ اس مجموعے کے صفحات دو سو چوبیس ہیں۔ا س کا پیش لفظ ڈاکٹر وحید قریشی اور تعارف احمد ندیم قاسمی نے لکھا ہے۔ اس مجموعے میں غزلیں ،ہائیکو اور ماہیے شامل ہیں۔ دوسرا شعری مجموعہ ’’برگِ گل‘‘ کے نام سے ۱۹۹۵ء میں شائع ہوا۔ اس مجموعے کے صفحات کی تعداد ایک سو چھہتر ہے۔ اس میں ان کی نظمیں ،غزلیں اور گیت شامل ہیں۔ برگِ گل میں مشاہیر پاکستان بالخصوص قائد اعظم اور اقبال کی خدمات پر انھیں خراجِ عقیدت پیش کیا گیا ہے۔ ان کے علاوہ میرانیس اور مرزا دبیر کے فکری و فنی اثرات کا اظہار بھی ہے۔ اس کتاب کا دیباچہ ڈاکٹر وزیر آغا اور تعارف ظہیر کا شمیری نے لکھا ہے۔
ساغر جعفری کا تیسرا شعری مجموعہ ’’دائرے‘‘ ہے۔ جو ۱۹۹۶ء میں شائع ہوا۔ اس کے صفحات کی تعداد ایک سو چوراسی ہے۔ اس مجموعے میں غزلیں اور قطعات شامل ہیں۔ اس کتاب کا مقدمہ ڈاکٹر انور سدید نے لکھا ہے۔ اس کے قطعات کا بڑا موضوع اخلاقی ،معاشرتی اور سماجی مسائل ہیں۔
’’جامِ مودت‘‘ ساغر کا چوتھا شعری مجموعہ ہے جو ۱۹۹۷ء میں شائع ہوا۔ اس کا فلیپ علامہ...
The Musharraf formula refers to the resolution formula of the Kashmir conflict which was reportedly agreed upon during the one-to-one backchannel dialogue between Mr. Tariq Aziz, the former civil servant and close aide of the then President of Pakistan, General Pervez Musharraf and Mr. Satinder Lambah, a special envoy of the Prime Minister of India. We now know some of the details of this formula from the article of the American journalist, Steve Coll which he had published in New Yorker in March 2009 and the book of Mr. Khursheed Mahmud Kasuri, Neither a Hawk, Now a Dove which was published in 2015. Prior to this Mr. Musharraf and Mr. Kasuri had already claimed in their TV interviews and press talks that by March 2007 India and Pakistan were very close to resolving the Kashmir conflict. This paper takes the details of that non-paper agreement and tries to study what exactly that agreement holds for the future resolution of the Kashmir conflict. The basic understanding is whenever the Pakistani and the Indian governments will take up the negotiations on the Kashmir conflict in future, this agreement is bound to come up in the talks as a starting reference point. Therefore, it is necessary to carefully look at this agreement and discuss what it entails for the resolution of the Kashmir conflict.
Software Product Line (SPL) Engineering is software engineering tools, techniques and methods
for the development of products sharing common features along with some variant features. A
feature model (FM) represents the relationship among various features. Feature model is the main
artifact that generates different products of SPL. Product testing is the necessary part of quality
assurance. The combinatorial rise of the products occurs due to the large number of features
resulting, SPL testing very complex. To reduce the complexity of testing, there are some
techniques used in the literature like products selection, minimization and prioritization. In
product selection, the scope of testing is reduced. Product minimization chooses a product that
represents all the characteristics of products and eliminates redundancy but not feasible for
revealing all faults and early fault detection. Product minimization and selection discard some
products but prioritization covers all the products. Products Prioritization technique reorders the
products based on feature coverage criteria or feature coupling complexity criteria. Prioritization
reveals faults earlier that help in early fault correction, feedback, saves cost and time. In existing
techniques of prioritization criteria, no one addressed the feature?s individual complexity to
prioritize the products. In this present research, the researcher calculated use case complexity of
individual features calculated followed by finding product?s complexity in order to prioritize
product (Test Case).There are abstract and concrete features in a feature model. Concrete features
can be mapped on use case descriptions because they provide the functional requirements of
system. An algorithm proposed for finding complexity of UC that based on UC template
attributes. It eventually prioritized the products based on individual feature?s complexity. To
validate the work, e Shop case study used that was evaluated by generating feature model and
valid products configurations with the help of the SPL tool. The e Shop data set obtained from
SPLOT that was a free repository. Lists of prioritized products for existing criteria and proposed
criteria obtained by running their respective algorithms. Effectiveness of the proposed criteria in
comparison with the existing criteria judged by calculating average percentage of faults detected
for each prioritized list of products. Proposed approach significantly improved the average
percentage of faults detected. The results of case study show that different ordering of the same test cases gives considerable difference in the average percentage of faults detected.