Application-Oriented Specifications: Developing the Connection between User and Code: Guest Editors' Introduction | IEEE Journals & Magazine | IEEE Xplore