Part-Whole Behavioral Specification and Composition of Internet of Things Systems: Applying Behavior-Driven Development with Problem Frames. - WANG, BING-YUN; YEN, YI-CHUN; KUN-CHE LI, CHE-HUNG TSAI; CHENG, YU CHIN (Journal of Information Science & Engineering, 2026)