Reconciling the irreconcilable? A software development approach that combines Agile with Formal



Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selected markets, enforce formality in the development process. We present an approach, tailored for a real company, that reconciles these extremes. We used as inputs the original software development process and its formality constrains, the difficulties felt by the company, and various agile approaches. The outcome has been tested in various cases with encouraging results regarding awareness over project progress, requirements management, control of allocated effort and time, and product quality. Although the approach was customized for a specific company, it may be insightful to others facing similar challenges.


Software Engineering


Hawaii International Conference on System Sciences (HICSS), January 2006

Cited by

Year 2008 : 1 citations

 Cohen, S. J. and Money, W. H. "Bridge Methods: Complementary Steps Integrating Agile Development Tools & Methods with Formal Process Methodologies?, in Proc. of the Hawaii International Conference on System Sciences (HICSS), Waikoloa, Big Island, Hawaii, January 2008