IEEE - Institute of Electrical and Electronics Engineers, Inc. - Traceability of requirements and consistency verification of UML use case, activity and Class diagram: A Formal approach

2009 International Conference on Methods and Models in Computer Science (ICM2CS)

Author(s): Chanda, J. ; Kanjilal, A. ; Sengupta, S. ; Bhattacharya, S.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2009
Conference Location: New Delhi, India, India
Conference Date: 14 December 2009
Page(s): 1 - 4
ISBN (Paper): 978-1-4244-5051-0
Regular:

UML being semi formal in nature, it lacks formal syntax and hence automated verification of analysis and design specifications cannot be done. Verification at early phases of SDLC has gained... View More

Advertisement