An agile approach to support incremental development of requirements specifications

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2006, Issue , 2006, Pages 10-19

  López Nores, Martín ^a   Pazos Arias, José J ^a   García Duque, Jorge ^a   Barragáns Martínez, Belén ^a  

^a UNIVERSITY OF VIGO   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; ECONOMIC AND SOCIAL EFFECTS; KNOWLEDGE ACQUISITION; SPECIFICATIONS;

AGILE APPROACH; COMPUTATIONAL COST; REQUIREMENTS SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 33750141950     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2006.11     Document Type: Conference Paper

References (37)

1. P. Abrahamsson, O. Salo, J. Ronkainen, and J. Warsta. Agile software, development methods. Review and analysis. VTT Publications, 2002.
2. S. Agerholm and P. G. Larsen. A lightweight approach to formal methods. Lecture Notes in Computer Science, 1641:168-183, 1998.
3. R. J. Back, A. Akademi, J. V. Wright, F. B. Schneider, and D. Gries. Refinement calculus: A systematic introduction. Springer Verlag, 1998.
4. R. Banach and M. Poppleton. Retrenching partial requirements into system definitions: A simple feature interaction case study. Requirements Engineering, 8(4):266-288, 2003.
5. B. Barragáns-Martínez, J. J. Pazos-Arias, and A. Fernández-Vilas. On measuring levels of inconsistency in multi-perspective requirements specifications. In Proceedings of the 1st International Conference on the Principles of Software Engineering, pages 21-30, Buenos Aires, Argentina, Nov. 2004.
6. K. Beck. Extreme Programming explained: Embrace change. Addison Wesley, 2000.
7. D. Berner, S. Suhaib, S. Shukla, and H. Foster. XFM: Extreme formal method for capturing formal specification into abstract models. Technical Report 2003-08, Virginia Tech, 2003.
8. M. Boger, T. Baier, F. Wienberg, and W. Lamersdorf. Extreme programming examined, chapter Extreme modeling, pages 175-189. Addison Wesley, 2001.
9. M. Breen. Experience of using a lightweight formal specification method for a commercial embedded system product line. Requirements Engineering, 10(2): 161-172, 2005.
10. CTAS: The Center TRACON Automation System. http://ctas.arc.nasa.gov/.
11. E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Informatics - 10 years back, 10 years ahead, chapter Progress on the state explosion problem in model checking, pages 176-194. Springer, 2001.
12. E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. The MIT Press, 2000.
13. A. Cockbum. Agile software development. Addison Wesley, 2002.
14. A. S. d'Avila Garcez, A. Russo, B. Nuseibeh, and J. Kramer. An analysis-revision cycle to evolve requirements specifications. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering, pages 354-358, San Diego (CA), USA, Nov. 2001.
15. A. S. d'Avila Garcez, A. Russo, B. Nuseibeh, and J. Kramer. Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proceedings - Software, 150(1):25-38, 2003.
16. G. Eleftherakis and A. J. Cowling. An agile formal development methodology. In Proceedings of the 1st South-East European Workshop on Formal Methods, pages 36-47, Thessaloniki, Greece, 2003.
17. M. Fowler. The new methodology. http://www.martinfowler.com, 2004.
18. J. García-Duque, J. J. Pazos-Arias, and B. Barragáns- Martínez. An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology. In Proceedings of the 10th IEEE International Conference on Requirements Engineering, pages 282-288, Essen, Germany, Sept. 2002.
19. A. Herranz and J. Moreno-Navarro. Formal extreme (and extremely formal) programming. Lecture Notes in Computer Science, 2675:88-96, 2003.
20. A. Hunter and B. Nuseibeh. Managing inconsistent specifications: Reasoning, analysis and action. ACM Transactions on Software Engineering and Methodology, 7(4):335-367, 1998.
21. D. Jackson and J. Wing. Lightweight formal methods. IEEE Computer, 29(4):22-23, 1996.
22. P. Kruchten. The Rational Unified Process: An introduction. Addison Wesley, 2000.
23. S. Liu. Capturing complete and accurate requirements by refinement. In Proceedings of the 8th IEEE International Conference on Engineering of Complex Computer Systems, pages 57-67, Greenbelt (MD), USA, Dec. 2002.
24. M. López-Nores, R. P. Díaz-Redondo, J. J. Pazos-Arias, and J. García-Duque. An improved repository system for effective and efficient reuse of formal verification efforts. In Proceedings of the 11 th Asia-Pacific Software Engineering Conference, pages 38-45, Busan, South Korea, Dec. 2004.
25. R. Lutz. Software engineering for safety: A roadmap. In Proceedings of the 22nd International Conference on Software Engineering, pages 213-226, Limerick, Ireland, June 2000.
26. E. Mäkinen and T. Systä. MAS - an interactive synthesizer to support behavioral modelling in UML. In Proceedings of the 23rd International Conference on Software Engineering, pages 15-24, Toronto, Canada, May 2001.
27. B. Nuseibeh, S. Easterbrook, and A. Russo. Making inconsistency respectable in software development. Journal of Systems and Software, 58(2): 171-180, 2001.
28. J. J. Pazos-Arias and J. García-Duque. SCTL-MUS: A formal methodology for software development of distributed systems: A case study. Formal Aspects of Computing, 13:50-91, 2001.
29. M. Poppleton and R. Banach. Retrenchment: Extending the reach of refinement. In Proceedings of the 14th IEEE International. Conference on Automated Software Engineering, pages 158-165, Cocoa Beach (FL), USA, 1999.
30. The Shuttle System case study. http://wwwcs.upb.de/cs/ag-schaefer/ CaseStudies/ShuttleSystem/.
31. D. Sannella. Algebraic specification and program development by stepwise refinement. Lecture Notes in Computer Science, 1817:1-9, 2000.
32. M. Shaw. Comparing architectural design styles. IEEE Software, 12(6):27-41, 1995.
33. I. Sommerville. Software engineering. Addison Wesley, 2000.
34. S. Suhaib, D. Mathaikutty, D. Berner, and S. Shukla. XFM: An incremental methodology for developing formal models. ACM Transactions on Design Automation of Electronic. Systems. In press.
35. G. Swamy. Incremental methods for formal verification and logic synthesis. PhD thesis, University of California at Berkeley, 1996. UMI publication 9723211.
36. C. Thomson and M. Holcombe. Applying XP ideas formally: The story card and extreme X-machines. In Proceedings of the 1st South-East European Workshop on Formal Methods, pages 57-71, Thessaloniki, Greece, 2003.
37. S. Uchitel and J. Kramer. A workbench for synthesising behaviour models from scenarios. In Proceedings of the 23rd International Conference on Software Engineering, pages 188-197, Toronto, Canada, May 2001.