Method and system of software specification modeling Grant US-9747079-B2 United States of America 29 Aug 2017