Requirements modeling - Experience from an insurance project

Proceedings - 4th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006

Volumn , Issue , 2006, Pages 157-166

  Murali Krishna, G ^a  

^a TATA RESEARCH DEVELOPMENT AND DESIGN CENTRE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC ANALYSIS; BUSINESS SYSTEMS; EXPERIENCE REPORT; FORMAL ANALYSIS; FORMAL NOTATIONS; FUNCTIONAL REQUIREMENT; LIFE INSURANCE; REQUIREMENTS MODELING; REQUIREMENTS PHASE; SCALE-UP; SOFTWARE DEVELOPMENT LIFE CYCLE;

INSURANCE; SOFTWARE DESIGN; SPECIFICATIONS;

FORMAL METHODS;

EID: 82655173193     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2006.31     Document Type: Conference Paper

References (13)

1. D. Leffingwell. Calculating the return on investment from more effective requirements management. American Programmer, 10(4):13-16, 1997. (Pubitemid 127547041)
2. Alan M. Davis. Software Requirements: Objects, Functions and States. Prentice Hall, 1995.
3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
4. D. Kholkar, G. M. Krishna, U. Shrotri, and R. Venkatesh. Visual specification and analysis of use cases. In SoftVis '05: Proceedings of the 2005 ACM symposium on Software Visualization, pages 77-85, New York, NY, USA, 2005. ACM Press. (Pubitemid 43111308)
5. S. Bensalem, V. Ganesh, Y. Lakhnech, C. M. noz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saïdi, N. Shankar, E. Singerman, and A. Tiwari. An overview of SAL. In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187-196, Hampton, VA, jun 2000. NASA Langley Research Center.
6. D. D'Souza and A. Wills. Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1998.
7. S. Kent. Constraint Diagrams: Visualizing Assertions in Object-Oriented Models. In OOPSLA'97, pages 327-341. ACM Press, 1997.
8. J. Howse, J. Molina, F. Taylor, S. Kent, and S. Gill. Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, pages 299-324, 2001. (Pubitemid 33652034)
9. S. Ghaisas, U. Shrotri, R. Venkatesh. Requirement-centric method for application development. In EMSISE '03: Workshop on Engineering Methods to Support Information Systems Evolution, Geneva, Switzerland.
10. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
11. T. Fischer, J. Niere, L. Torunski, and A. Zündorf. Story diagrams: A new graph transformation language based on UML and Java. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Proc. Theory and Application to Graph Transformations, volume 1764 of LNCS. Springer, 1998.
12. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. A visualization of OCL using collaborations. In M. Gogolla and C. Kobryn, editors, UML 2001, volume 2185 of LNCS, pages 257-271. Springer, 2001. (Pubitemid 33351899)
13. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Consistency checking and visualization of OCL constraints. In A. Evans, S. Kent, and B. Selic, editors, UML 2000, volume 1939 of LNCS, pages 294-308. Springer, 2000.