A Case Study on a Specification Approach Using Activity Diagrams in Requirements Documents | IEEE Conference Publication | IEEE Xplore