A Practice for Recording Problem and Solution Domain Requirements in VLSRE | IEEE Conference Publication | IEEE Xplore