Formalizing Over Design and Under Design of Value Engineering for Context-Aware Cloud Service Development | IEEE Conference Publication | IEEE Xplore