Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2020 ( 1 )

2019 ( 12 )

2018 ( 11 )

2017 ( 16 )

Custom range...

Search Results: 1 - 10 of 985 matches for " Nasir Mehmood Minhas "
All listed articles are free for downloading (OA Articles)
Page 1 /985
Display every page Item
Integrating Formal Methods in XP—A Conceptual Solution  [PDF]
Shagufta Shafiq, Nasir Mehmood Minhas
Journal of Software Engineering and Applications (JSEA) , 2014, DOI: 10.4236/jsea.2014.74029

Formal methods can be used at any stage of product development process to improve the software quality and efficiency using mathematical models for analysis and verification. From last decade, researchers and practitioners are trying to establish successful transfer of practices of formal methods into industrial process development. In the last couple of years, numerous analysis approaches and formal methods have been applied in different settings to improve software quality. In today’s highly competitive software development industry, companies are striving to deliver fast with low cost and improve quality solutions and agile methodologies have proved their efficiency in acquiring these. Here, we will present an integration of formal methods, specifications and verification practices in the most renowned process development methodology of agile i.e. extreme programming with a conceptual solution. That leads towards the development of a complete formalized XP process in future. This will help the practitioners to understand the effectiveness of formal methods using in agile methods that can be helpful in utilizing the benefits of formal methods in industry.

Formal Methods for Commercial Applications Issues vs. Solutions  [PDF]
Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed
Journal of Software Engineering and Applications (JSEA) , 2014, DOI: 10.4236/jsea.2014.78062

It was advocated that in 21st century, most of software will be developed with benefits of formal methods. The benefits include faults found in earlier stage of software development, automating, checking the certain properties and minimizing rework. In spite of their recognition in academic world and these claimed advantages, formal methods are still not widely used by commercial software industry. The purpose of this research is to promote formal methods for commercial software industry. In this paper we have identified issues in use of formal methods for commercial applications and devised strategies to overcome these difficulties which will provide motivations to use formal methods for commercial applications.

An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z  [PDF]
Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor
Journal of Software Engineering and Applications (JSEA) , 2015, DOI: 10.4236/jsea.2015.88037
Abstract: UML Diagrams are considered as a main component in requirement engineering process and these become an industry standard in many organizations. UML diagrams are useful to show an interaction, behavior and structure of the system. Similarly, in requirement engineering, formal specification methods are also being used in crucial systems where precise information is required. It is necessary to integrate System Models with such formal methods to overcome the requirements errors i.e. contradiction, ambiguities, vagueness, incompleteness and mixed values of abstraction. Our objective is to integrate the Formal Specification Language (Z) with UML Sequence diagram, as sequence diagram is an interaction diagram which shows the interaction and proper sequence of components (Methods, procedures etc.) of the system. In this paper, we focus on components of UML Sequence diagram and then implement these components in formal specification language Z. And the results of this research papers are complete integrated components of Sequence diagram with Z schemas, which are verified by using tools and model based testing technique of Formal Specifications. Results can be more improved by integrating remaining components of Sequence and other UML diagrams into Formal Specification Language.
An Improved Framework for Requirement Change Management in Global Software Development  [PDF]
Nasir Mehmood Minhas, Qurat-ul-Ain  , Zafar-ul-Islam  , Atika Zulfiqar
Journal of Software Engineering and Applications (JSEA) , 2014, DOI: 10.4236/jsea.2014.79072

In this research, an improved framework for requirement change management in global software development (RCM_GSD) has been presented. The objective is to manage the change in requirement specifically in global software development in an appropriate manner. The proposed frame-work RCM_GSD follows the required processes of RCM and reduces the concerns of GSD. Systematic Literature Review (SLR) was conducted for exploration of relevant research. During literature study, it is analyzed that the existing techniques of change management were not suitable for global software development (GSD). The change in requirements becomes more complicated in distributed environment due to the lack of communication and collaboration among globally dispersed stakeholders. The proposed model is compared with other models proposed in recent literature and analysis is made between them; feedback was obtained from the domain experts as well. The feedback and comparison results show that the proposed model provides an appropriate solution for requirement change management in GSD.

Analysis of Combining Ability in Wheat (Triticum aestivum L.) Using F2 Generation
Asif Javaid,Shahid Masood,Nasir Mahmood Minhas
Pakistan Journal of Biological Sciences , 2001,
Abstract: The F2 data from a 4 parent half diallel cross was used for combining ability analysis. Significant genetic variability existed for days to heading, days to maturity, plant height, number of spikes per plant, number of grains per spike, grain yield per plant and 1000 grain weight. The major portion of the total genetic variability for these traits was due to additive type of gene action. Small, but significant SCA estimates for most of the traits with the exception of days to heading and maturity suggests that some of the total genetic variability was due to non-additive type of gene action. The cross Faisalabad-85 x Rawal-87 had the best specific combining ability for grain yield per plant, while the best specific combining ability for number of spikes per plant, number of grains per spike and 1000 grain weight was found in case of the cross Faisalabad-83 x Rawal-87. Faisalabad-83 proved to be the best general combiner for grain yield per plant, number of grains per spike and 1000 grain weight. This cultivar offers the best possibility of exploitation in breeding programs to develop high yielding varieties.
CFD Study of NACA 0018 for Diffuser Design of Tidal Current Turbines
Nasir Mehmood,Zhang Liang,Jawad Khan
Research Journal of Applied Sciences, Engineering and Technology , 2012,
Abstract: This study is focused on diffuser augmented tidal current turbines that capture the kinetic energy in a tidal stream. The energy that can be extracted from tides is proportional to the cube of the current velocity. The role of the diffuser in diffuser augmented tidal turbines is to help accelerate the incoming current velocity. Consequently, the efficiency of the turbine can be significantly increased by using a diffuser. The research community is investing considerable time and financial resources in this growing domain. The diffuser augmented tidal turbines research data is rather scarce due to their emerging nature, large and costly research and development setup, startup cost and proprietary issues. The purpose of this study is to investigate the effect of length and angle on NACA 0018 airfoil for diffuser design. CFD simulation is carried out to investigate velocity and mass flow rate at the throat. The drag force due to diffuser installation is also calculated. Velocity inside the diffuser increases with diffuser length and angle of attack. Velocity increases up to stall angle and then drops due to flow separation. The drag force is also dominant compared to lift coefficient near stall angle region.
Harnessing Ocean Energy by Tidal Current Technologies
Nasir Mehmood,Zhang Liang,Jawad Khan
Research Journal of Applied Sciences, Engineering and Technology , 2012,
Abstract: The world is heavily dependent on fossil fuels since most of its energy requirements are fulfilled by conventional methods of burning these fuels. The energy demand is increasing by day with growing population. The energy production by fossil fuels is devastating the environment and survival of life on globe is endangered. The renewal energy technologies are vital to ensure future energy sustenance and environmental issues. Ocean is a vast resource of renewable energy. The technology today makes it possible to extract energy from tides. The growing interest in exploring tidal current technologies has compelling reasons such as security and diversity of supply, intermittent but predictable and limited social and environmental impacts. The purpose of this study is to present a comprehensive review of tidal current technologies to harness ocean energy. The ocean energy resources are presented. The author discusses tidal energy technologies. The tidal current turbines are discussed in detail. The author reviews today’s popular tidal current technologies. The present status of ocean energy development is also reported.
Diffuser Augmented Horizontal Axis Tidal Current Turbines
Nasir Mehmood,Zhang Liang,Jawad Khan
Research Journal of Applied Sciences, Engineering and Technology , 2012,
Abstract: The renewal energy technologies are increasingly popular to ensure future energy sustenance and address environmental issues. The tides are enormous and consistent untapped resource of renewable energy. The growing interest in exploring tidal energy has compelling reasons such as security and diversity of supply, intermittent but predictable and limited social and environmental impacts. The tidal energy industry is undergoing an increasing shift towards diffuser augmented turbines. The reason is the higher power output of diffuser augmented turbines compared to conventional open turbines. The purpose of this study is to present a comprehensive review of diffuser augmented horizontal axis tidal current turbines. The components, relative advantages, limitations and design parameters of diffuser augmented horizontal axis tidal current turbines are presented in detail. CFD simulation of NACA 0016 airfoil is carried out to explore its potential for designing a diffuser. The core issues associated with diffuser augmented horizontal axis tidal current turbines are also discussed.
Composition and antimicrobial properties of essential oil of Foeniculum vulgare
M Gulfraz, S Mehmood, N Minhas, N Jabeen, R Kausar, K Jabeen, G Arshad
African Journal of Biotechnology , 2008,
Abstract: GC-MS analysis of essential oil obtained from the seed of Foeniculum vulgare showed the presence of 31 components containing 95.2% of the total amount and the major component was trans-anethole (70.1%). The analysis of ethanolic and methanolic seed extracts showed the presence of nine components including linoleic acid (56%), palmitic acid (5.6%) and oleic acid (5.2%). The antimicrobial activity of F. vulgare oil was assessed by using disk diffusion as well as minimum inhibitory concentration (MIC) method. Fennel oil showed inhibition against Bacillus cereus, Bacillus magaterium, Bacillus pumilus, Bacillus substilis, Eschericha coli, Klebsiella pneumonia, Micrococcus lutus, Pseudomonos pupida, Pseudomonos syringae, and Candida albicans as compared to methanolic and ethanolic seed extracts. The lowest MIC values of fennel oil for Candida albicans (0.4% v/v), Pseudomonos putida (0.6% v/v) and E. coli (0.8% v/v) was obtained. It was observed that essential oil and seed extracts of F. vulgare exhibit different degree of antimicrobial activities depending on the doses applied. Therefore, fennel oil could be a source of pharmaceutical materials required for the preparation of new therapeutic and antimicrobial agents.
Ethanol production from Sorghum bicolor using both separate and simultaneous saccharification and fermentation in batch and fed batch systems
S Mehmood, M Gulfraz, NF Rana, A Ahmad, BK Ahring, N Minhas, MF Malik
African Journal of Biotechnology , 2009,
Abstract: The objective of this work was to find the best combination of different experimental conditions during pre-treatment, enzymatic saccharification, detoxification of inhibitors and fermentation of Sorghum bicolor straw for ethanol production. The optimization of pre-treatment using different concentrations of dilute sulfuric acid, various temperatures and residence times was achieved at 121°C, 1% acid concentration, 60 min residence time and enzyme saccharification using cellulase (celluclast 1.5 L) and -glucosidase (Novozyme 188) at 50°C and pH 4.8 for 48 h. Different surfactants were used in order to increase the monomeric sugar during enzymatic hydrolysis and it has been observed that the addition of these surfactants contributed significantly in cellulosic conversion but no effect was shown on hemicellulosic hydrolysis. Fermentability of hydrolyzate was tested using Saccharomyces cerevisiae Ethanol RedTM and it was observed that simultaneous saccharification and fermentation (SSF) with both batch and fed batch resulted in better ethanol yield as compared to separate hydrolysis and fermentation (SHF). Detoxification of furan during SHF facilitated reduction in fermentation time from 96 to 48 h. 98.5% theoretical yield was achieved in SHF with detoxification experiment attaining an ethanol concentration and yield of 23.01 gL-1 and 0.115 gg-1 DM respectively. During the SSF batch and fed batch fermentation, the maximum yields of ethanol per gram of dry matter were 0.1257 and 0.1332 g respectively.
Page 1 /985
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.