A systematic software development process for non-functional requirements

2010 International Conference on Information and Communication Technology Convergence, ICTC 2010

Volumn , Issue , 2010, Pages 431-436

  Jung, Hyo Taeg ^a   Lee, Gil Haeng ^a  

^a Electronics and Telecommunications Research Institute (ETRI)   (South Korea)

Author keywords

Availability; Colored Petri net (CPN); Non functional requirements; Performance; Security; Software development process; UML

Indexed keywords

COLORED PETRI NET; NON-FUNCTIONAL REQUIREMENTS; PERFORMANCE; SECURITY; SOFTWARE DEVELOPMENT PROCESS; UML;

GRAPH THEORY; INFORMATION TECHNOLOGY; PETRI NETS;

SOFTWARE DESIGN;

EID: 78751484673     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTC.2010.5674806     Document Type: Conference Paper

References (14)

1. I. Sommerville and G. Kotonya, "Requirements Engineering: Processes and Techniques," John Wiley and Sons Ltd, 1998.
2. L. A. Macaulay, "Requirements Engineering," Springer-Verlag, 1996.
3. P. Loucopoulos and V. Karakostas, "System Requirements Engineering," McGraw-Hill, 1995.
4. B. W. Boehm, "A Spiral Model of Software Development and Enhancement," Computer, vol. 21, no. 5, pp. 61-72, May 1988.
5. K. Sousa, E. Furtado, and H. Mendonca, "UPi-A Software Development Process Aiming at Usability, Productivity and Integration," Proceedings of The 2nd Latin American Conference on Human Computer Interaction (CLIHC '05), pp. 76-87, Cuernavaca, Mexico, October 2005.
6. L. L. Constantine and L. A. D. Lockwood, "Software for Use: A Practical Guide to the Models and Methods of Usage-Centered Design," Addison-Wesley, 2001.
7. S. Röttger and S. Zschaler, "A Software Development Process Supporting Non-Functional Properties," Proceedings of the IASTED International Conference on Software Engineering (IASTED SE '04), Innsbruck, Austria, February 2004.
8. V. Sivess, "Non-Functional Requirements in the Software Development Process," Software Quality Journal, vol. 5, no. 4, pp. 285-294, December 1996.
9. R. Milner, "Communication and Concurrency," Prentice Hall, 1989.
10. CPN Tools, http://wiki.daimi.au.dk/cpntools/cpntools.wiki
11. C. A. Petri, Kommunikation mit Automaten, Schriften des Institutes für Instrumentelle Mathematik, Bonn, West Germany, 1962.
12. T. Bolognesi and E. Brinksma, "Introduction to the ISO Specification Language LOTOS," Computer Networks and ISDN Systems, vol. 14, no. 1, pp. 25-59, 1987.
13. J. M. Spivey, "The Z notation: A Reference Manual, Second Edition," Prentice Hall, June 1992.
14. C. A. Hoare, "Communicating Sequential Processes," Prentice Hall, 1985.