期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Integrating Formal Methods in XP—A Conceptual Solution
1
作者 Shagufta Shafiq Nasir Mehmood Minhas 《Journal of Software Engineering and Applications》 2014年第4期299-310,共12页
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 practiti... 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 Specification Verification AGILE EXTREME PROGRAMMING
下载PDF
Formal Methods for Commercial Applications Issues vs. Solutions
2
作者 Saiqa Bibi Saira Mazhar +1 位作者 Nasir Mehmood Minhas Irfan Ahmed 《Journal of Software Engineering and Applications》 2014年第8期679-685,共7页
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 p... 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. 展开更多
关键词 FORMAL METHODS COMMERCIAL Applications ISSUES of FORMAL METHODS
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部