Contract Specification in Java: Classification, Characterization, and a New Marker Method
-
Published:2008-11-01
Issue:11
Volume:E91-D
Page:2685-2692
-
ISSN:0916-8532
-
Container-title:IEICE Transactions on Information and Systems
-
language:en
-
Short-container-title:IEICE Transactions on Information and Systems
Author:
CHEN C.-T.,CHENG Y. C.,HSIEH C.-Y.
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software