Thesis Title: Application of Model Checking Techniques for Evaluating Situational Method Engineering Models
Abstract:
Experience has shown that the quality of a product greatly depends on the development process used for producing it. In Situational
Method Engineering (SME), the objective is to develop a Software Development Methodology (SDM); hence, SME approaches need reliable
verification and validation methods for analyzing and assuring the quality of the methodologies that they produce. Since process and
product models are used in SME for representing the target methodology, one way to incorporate verification and validation in SME
approaches is to analyze – verify and validate – the process/product models through the application of systematic methods. The ultimate
objective in assuring the quality of the produced SDM is to detect and rectify the problems that may adversely affect the quality of the
software systems which will be developed through applying that SDM. |
![]() |
|
(Progress Chart) | ||
Email: sahaf[at] ce [dot] sharif [dot] edu
Copyright © 2007-2013 - Methodology Engineering Laboratory
Banner and logo designed by Zahra Shakeri