Review of: "Formal Verification of a Change Control Process in Project Management"
Résumé
Well written with the objectives and methodology very clear Keyword: Keyword clearly written to reflect the context with which the research is done Introduction: It well articulated with project management concepts, but problem statement that gave rise to the research is not clearly sub-headed.Project management is more of practical hands-on and it is good the researchers used their workplace experience to echo the need for Change Control Process in Project Management.The aim of the research is clearly stated with methodology clearly advanced with the use of mathematics to provide high precision guide for Formal Verification of a Change Control Process in Project Management with real time data for validation.The contribution of the research is clearly written as part of the introduction.Related work is clearly articulated the gaps identified and a sharp edge of area not yet researched is mentioned.In short, researchers want to test an existing model using mathematics which they believe when implemented will give an accurate result in Formal Verification of a Change Control Process in Project Management Background: Well written with sub-sections with formal specification framework produced within the context of the research title. Modelling Verification Methods:It is well written with blue-print of five conceptual idea from the researchers with its related models and the necessary programing codes to execute each of the steps in the Formal Verification of a Change Control Process in Project Management.Results: Results clearly revealed that CTL temporal logic has proven to be enough for representing and testing the kind of properties they wanted the process to have.In their NuSMV tool [Cimatti, 00], properties were declared using the keyword "SPEC" followed by a CTL formula.Examples with each step programing code are attached, Literature Review: Although literature is reviewed, I am afraid I could not authenticate whether they are current or not.I do know that as for methodologies and the mathematical model, they could span ages so long as they are relevant as lenses the research area under consideration.
Citer ce document
Accès au document
Texte intégral en lecture en ligne, réservé aux abonnés SPHAERO et aux membres de l'institution. Se connecter
Voir l'article sur le site de la revueAuteur(s)
Statistiques
Consultations : 1
Téléchargements : 0