"Integrating Formal Methods in XP—A Conceptual Solution"
written by Shagufta Shafiq, Nasir Mehmood Minhas,
published by Journal of Software Engineering and Applications, Vol.7 No.4, 2014
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
[1] A Conceptual Model of Agile Software Development in a Safety-Critical Context: A Systematic Literature Review
Information and Software Technology, 2018
[2] A Conceptual Model of Agile Software Development in a Safety-Critical Context: A Systematic Literature
Information and Software Technology, 2018
[3] Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes
2018
[4] Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches
2018
[5] MÉTODOS PARA ESPECIFICAÇÃO FORMAL DE REQUISITOS EM METODOLOGIAS ÁGEIS DE DESENVOLVIMENTO: UM MAPEAMENTO …
2017
[6] A novel program synthesis approach in test driven software development
2017
[7] MÉTODOS PARA ESPECIFICAÇÃO FORMAL DE REQUISITOS EM METODOLOGIAS ÁGEIS DE DESENVOLVIMENTO: UM MAPEAMENTO SISTEMÁTICO
2017
[8] Agility in Development of Safety-Critical Software: A Conceptual Model
2017
[9] Agile techniques and frameworks based on the requirements for e-commerce applications
2016 Second International Conference on Web Research (ICWR), 2016
[10] Towards applying a safety analysis and verification method based on STPA to agile software development
CSED 2016 Proceedings of the International Workshop on Continuous Software Evolution and Delivery, 2016
[11] Métodos Formais como Condutores para Especificação de Requisitos Aplicados em Metodologias Ágeis de Desenvolvimento
2016
[12] Incorporando Alloy en desarrollos basados en metodologías agiles
XVII Workshop de Investigadores en Ciencias de la Computación (Salta, 2015), 2015
[13] An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z
Journal of Software Engineering and Applications, 2015
[14] Formal Methods for Commercial Applications Issues vs. Solutions
Journal of Software Engineering and Applications, 2014