Holcombe, M. and Thomson, C. (2007) 20 Years of Teaching and 7 Years of Research: Research When You Teach. Proceedings of the 3rd South-East European Workshop on Formal Methods, Thessaloniki, 30 November-1 December 2007, 1-13.

has been cited by the following article:

• TITLE: Integrating Formal Methods in XP—A Conceptual Solution

  AUTHORS: Shagufta Shafiq, Nasir Mehmood Minhas

  KEYWORDS: Formal Methods, Specification, Verification, Agile, Extreme Programming

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.7 No.4, April 17, 2014

  ABSTRACT: 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.