Pakistan Research Repository


Sheikh, Muhammad Wahab Uddin Usmani (2004) FORMALIZATION OF SOFTWARE DEVELOPMENT PROCESS. PhD thesis, NED University of Engineering & Technology, Karachi.



The thesis presents a new and improved Formal Methodology which could be applied for analysis/ design of business/ commercial environments, and provides assistance to systems developers. The methodology proposed has three modules: A)A formal conceptual model defined in set type notation; B)A System Description Language (SDL) in predicate/ set type nation; C)A set of software tools specified in an algorithmic notation with embedded SDL, to express specifications and unsure its verification using dual techniques i.e. Formal & Artificial Intelligence (AI). It is observed during the research that software developers face difficulties in transforming system specifications and design form traditional to forma/ object oriented formats and vice versa. In order to confine the scope of research unifications of traditional, formal and object oriented approaches was not conversed and has left for further research. A unique feature of the research is the successful application of AI for specifications, verification. It is a proven fact that the cause of failure of the majority of software projects is flaws in analysis/ design. Therefore, in this research specifications, verification has been targeted and a dual test bed (formal and AI) is developed. The application of AI has not been exhaustive and further application of the proposed concept needs to be explored

Item Type:Thesis (PhD)
Uncontrolled Keywords:software development, developers, system description language (sdl), software tools, artificial intelligence (ai), information system, development process
Subjects:Engineering & Technology (e) > Engineering(e1) > Computer Sciences & related disciplines(e1.9)
ID Code:962
Deposited By:Mr. Muhammad Asif
Deposited On:24 Nov 2006
Last Modified:04 Oct 2007 21:03

Repository Staff Only: item control page