Improving requirements quality using essential use case interaction patterns

Massila Kamalrudin, John Hosking, John Grundy

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

40 Citations (Scopus)


Requirements specifications need to be checked against the 3C's - Consistency, Completeness and Correctness - in order to achieve high quality. This is especially difficult when working with both natural language requirements and associated semi-formal modelling representations. We describe a technique and support tool that allows us to perform semi-automated checking of natural language and semi-formal requirements models, supporting both consistency management between representations but also correctness and completeness analysis. We use a concept of essential use case interaction patterns to perform the correctness and completeness analysis on the semi-formal representation. We highlight potential inconsistencies, incompleteness and incorrectness using visual differencing in our support tool. We have evaluated our approach via an end user study which focused on the tool's usefulness, ease of use, ease of learning and user satisfaction and provided data for cognitive dimensions of notations analysis of the tool.

Original languageEnglish
Title of host publicationICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference
Number of pages10
Publication statusPublished - 2011
Externally publishedYes
EventInternational Conference on Software Engineering 2011 - The Hilton Hawaiian Village Beach Resort and Spa, Waikiki, Honolulu, United States of America
Duration: 21 May 201128 May 2011
Conference number: 33rd (Proceedings)


ConferenceInternational Conference on Software Engineering 2011
Abbreviated titleICSE 2011
Country/TerritoryUnited States of America
CityWaikiki, Honolulu
Internet address


  • consistency management
  • essential use cases
  • requirements engineering
  • requirements patterns
  • tool support

Cite this