TY - GEN
T1 - A framework for formal specification considering review and specification-based testing
AU - Nakatsugawa, Yasumasa
AU - Kurita, Taro
AU - Araki, Keijiro
PY - 2010
Y1 - 2010
N2 - A specification described by a formal specification language is required readability and executability depending on its use cases. As use cases, a specification is used for a validation by reviewing, for test case design to verify a product and for test script verification. This paper introduces and examines a description framework for an interface specification. It discusses the implementation of the framework and the effectiveness of applying a labeling feature to our description framework.
AB - A specification described by a formal specification language is required readability and executability depending on its use cases. As use cases, a specification is used for a validation by reviewing, for test case design to verify a product and for test script verification. This paper introduces and examines a description framework for an interface specification. It discusses the implementation of the framework and the effectiveness of applying a labeling feature to our description framework.
UR - http://www.scopus.com/inward/record.url?scp=79951638038&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79951638038&partnerID=8YFLogxK
U2 - 10.1109/TENCON.2010.5685922
DO - 10.1109/TENCON.2010.5685922
M3 - Conference contribution
AN - SCOPUS:79951638038
SN - 9781424468904
T3 - IEEE Region 10 Annual International Conference, Proceedings/TENCON
SP - 2444
EP - 2448
BT - TENCON 2010 - 2010 IEEE Region 10 Conference
T2 - 2010 IEEE Region 10 Conference, TENCON 2010
Y2 - 21 November 2010 through 24 November 2010
ER -