Article citationsMore>>

C. Heitmeyer, J. Kirby and B. Labaw, “Tools for Formal Specification, Verification, and Validation of Requirements,” Proceedings of the 12th Annual Conference (COMPASS’97).

has been cited by the following article:

• TITLE: Towards Lightweight Requirements Documentation

  AUTHORS: Zheying Zhang, Mike Arvela, Eleni Berki, Matias Muhonen, Jyrki Nummenmaa, Timo Poranen

  KEYWORDS: Lightweight, Requirements Documentation, Requirements Management Tool, Agile Software Development

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.3 No.9, September 30, 2010

  ABSTRACT: Most requirements management processes and associated tools are designed for document-driven software development and are unlikely to be adopted for the needs of an agile software development team. We discuss how and what can make the traditional requirements documentation a lightweight process, and suitable for user requirements elicitation and analysis. We propose a reference model for requirements analysis and documentation and suggest what kind of requirements management tools are needed to support an agile software process. The approach and the reference model are demonstrated in Vixtory, a tool for requirements lightweight documentation in agile web application development.